Logs: freenode/#haskell
| 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.