Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-24 06:18:31 TooDifficult joins (~vg@139.59.59.230)
2020-11-24 06:20:33 michalz parts (~user@185.246.204.59) ()
2020-11-24 06:21:02 × jaqque1 quits (~jaqque@s91904426.blix.com) (Remote host closed the connection)
2020-11-24 06:23:43 × TooDifficult quits (~vg@139.59.59.230) (Quit: TooDifficult)
2020-11-24 06:24:01 TooDifficult joins (~vg@139.59.59.230)
2020-11-24 06:24:20 × TooDifficult quits (~vg@139.59.59.230) (Client Quit)
2020-11-24 06:24:58 vg joins (~vg@139.59.59.230)
2020-11-24 06:25:22 × vg quits (~vg@139.59.59.230) (Client Quit)
2020-11-24 06:25:36 vg joins (~vg@139.59.59.230)
2020-11-24 06:25:52 × vg quits (~vg@139.59.59.230) (Client Quit)
2020-11-24 06:32:17 mpereira joins (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55)
2020-11-24 06:36:52 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 272 seconds)
2020-11-24 06:37:23 × mpereira quits (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55) (Ping timeout: 272 seconds)
2020-11-24 06:41:11 × alp quits (~alp@2a01:e0a:58b:4920:dab:f84b:5532:a13c) (Ping timeout: 272 seconds)
2020-11-24 06:43:37 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-24 06:44:19 jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-24 06:45:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-24 06:48:25 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 240 seconds)
2020-11-24 06:48:57 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-24 06:49:41 christo joins (~chris@81.96.113.213)
2020-11-24 06:54:18 × christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-11-24 06:55:30 SanchayanMaity joins (~Sanchayan@171.76.82.54)
2020-11-24 06:56:28 × GuerrillaMonkey quits (~Jeanne-Ka@iakosalt-94.nationalnet.com) (Remote host closed the connection)
2020-11-24 07:01:25 × Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 264 seconds)
2020-11-24 07:01:59 × Lord_of_Life quits (~Lord@46.217.222.157) (Changing host)
2020-11-24 07:01:59 Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-11-24 07:02:38 Cthalupa joins (~cthulhu@47.186.47.75)
2020-11-24 07:03:28 × jespada quits (~jespada@90.254.245.49) (Ping timeout: 260 seconds)
2020-11-24 07:05:52 jespada joins (~jespada@90.254.245.49)
2020-11-24 07:07:13 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 07:07:38 × kaiwkx quits (~user@116.236.159.130) (Read error: Connection reset by peer)
2020-11-24 07:07:54 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-24 07:10:25 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-11-24 07:11:56 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-11-24 07:13:05 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-24 07:17:10 Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-24 07:17:35 gzj joins (~gzj@unaffiliated/gzj)
2020-11-24 07:17:56 × andos quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds)
2020-11-24 07:18:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-24 07:18:26 sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-24 07:20:32 × gzj quits (~gzj@unaffiliated/gzj) (Quit: Leaving)
2020-11-24 07:21:31 × revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2020-11-24 07:22:33 revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-11-24 07:23:23 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-11-24 07:23:44 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 07:25:44 ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-24 07:25:53 geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-11-24 07:28:16 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-11-24 07:29:45 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-24 07:30:15 Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-24 07:31:01 Tario joins (~Tario@201.192.165.173)
2020-11-24 07:33:59 danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-24 07:36:16 coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-24 07:38:51 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-24 07:38:59 dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2020-11-24 07:49:42 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-24 07:50:03 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-24 07:52:13 <dminuoso> % f (1|2) = 1
2020-11-24 07:52:13 <yahb> dminuoso: ; <interactive>:54:6: error: parse error on input `2'
2020-11-24 07:52:13 × Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2020-11-24 07:52:22 <dminuoso> Is this type of choice pattern enabled by some extension?
2020-11-24 07:52:25 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-11-24 07:52:34 <dminuoso> https://hackage.haskell.org/package/haskell-src-exts-1.23.1/docs/Language-Haskell-Exts-Syntax.html#t:RPat suggests its existence
2020-11-24 07:53:07 da39a3ee5e6b4b0d joins (~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th)
2020-11-24 07:54:24 <dminuoso> Oh.
2020-11-24 07:54:28 <dminuoso> % :set -XRegularPatterns
2020-11-24 07:54:29 <yahb> dminuoso: Some flags have not been recognized: -XRegularPatterns
2020-11-24 07:55:34 Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-24 07:55:37 <dminuoso> Mmm what is this
2020-11-24 07:56:50 <dminuoso> Strange, so cabal seems to know about it but GHC does not
2020-11-24 07:57:30 chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-24 07:58:23 Suntop1 joins (~Suntop@193.56.252.12)
2020-11-24 08:00:51 cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-24 08:00:59 Ariakenom joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se)
2020-11-24 08:02:13 cads joins (~cads@ip-64-72-99-232.lasvegas.net)
2020-11-24 08:02:16 Varis joins (~Tadas@unaffiliated/varis)
2020-11-24 08:03:32 kish` joins (~oracle@unaffiliated/oracle)
2020-11-24 08:03:55 sh9 joins (~sh9@softbank060116136158.bbtec.net)
2020-11-24 08:04:10 <merijn> Maybe some obscure old compiler :p
2020-11-24 08:04:48 alp joins (~alp@2a01:e0a:58b:4920:ecb1:790b:d951:73b0)
2020-11-24 08:04:52 <merijn> dminuoso: https://mail.haskell.org/pipermail/haskell/2004-February/013720.html
2020-11-24 08:05:18 <xerox_> what is the policy for personal projects on gitlab.haskell.org?
2020-11-24 08:05:44 <dminuoso> xerox_: Id venture this is best asked in #ghc or the GHC mailing list as the responsible people for that gitlab are there
2020-11-24 08:05:56 <xerox_> aye aye
2020-11-24 08:06:48 <dminuoso> merijn: Heh yeah seems that way. I also found a publication, but nothing so far in the GHC code..
2020-11-24 08:06:59 <dminuoso> At any rate, I have somethingy you're gonna *love*
2020-11-24 08:07:16 <xerox_> *presents puppy*
2020-11-24 08:07:23 <dminuoso> merijn: https://github.com/DaveGamble/cJSON/blob/master/cJSON.h#L162
2020-11-24 08:07:30 <dminuoso> You should be able to appreciate that one
2020-11-24 08:07:31 wonko7 joins (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52)
2020-11-24 08:07:43 × pie_ quits (~pie_bnc]@unaffiliated/pie-/x-0787662) (Ping timeout: 246 seconds)
2020-11-24 08:07:43 × vancz quits (~vancz@unaffiliated/vancz) (Ping timeout: 246 seconds)
2020-11-24 08:08:37 benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-ymoheyyesupwsnta)
2020-11-24 08:10:56 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-24 08:11:33 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 08:12:38 vancz joins (~vancz@unaffiliated/vancz)
2020-11-24 08:12:40 LeD joins (5fa448e7@95.164.72.231)
2020-11-24 08:12:43 pie_ joins (~pie_bnc]@unaffiliated/pie-/x-0787662)
2020-11-24 08:14:48 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-11-24 08:16:05 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)

All times are in UTC.