Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 379 380 381 382 383 384 385 386 387 388 389 .. 17995
— 1,799,469 events total
2021-06-10 10:41:16 × yd502 quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds)
2021-06-10 10:41:58 × nschoe quits (~quassel@2a04:cec0:1140:d70e:246d:fa9d:5f2c:423e) (Ping timeout: 272 seconds)
2021-06-10 10:42:03 <dminuoso> mastarija: From a quick look at the existing PR, it seems one of the main complexities is the interaction with other extensions
2021-06-10 10:42:29 <dminuoso> Seems to be missing clear specifications, so it's not just the mechanical work of implementing it
2021-06-10 10:42:31 <mastarija> Hm.. yes, I guess Pattern synonyms don't help the cause there
2021-06-10 10:44:04 <lortabac> dminuoso: +1, lack of circular imports is incredibly annoying, I inevitably end up with a huge Types module to circumvent the problem
2021-06-10 10:44:39 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 245 seconds)
2021-06-10 10:45:11 <dminuoso> lortabac: Just use a big mono module!
2021-06-10 10:45:15 <dminuoso> Problem solved.
2021-06-10 10:45:16 <mastarija> dminuoso, have you ever contributed to GHC? I was always wondering what is the workflow for such things, I imagine my little laptop wouldn't be able to compile the whole of GHC when I want to test changes locally.
2021-06-10 10:45:48 → azeem joins (~azeem@176.200.230.226)
2021-06-10 10:45:53 × teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 268 seconds)
2021-06-10 10:46:02 <dminuoso> mastarija: I did some modifications a while ago. The experience is be pleasant enough, you should be able to build it even on older laptops.
2021-06-10 10:46:10 <mastarija> I really like the GHCI workflow, but I imagine that's a no go when you are working on the GHC it self.
2021-06-10 10:46:19 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-10 10:46:24 <dminuoso> For development, you dont need a full optimized build
2021-06-10 10:46:33 <dminuoso> Of course you can use that!
2021-06-10 10:46:41 <dminuoso> GHC is just a Haskell program, no reason you couldn't run it from GHCi.
2021-06-10 10:46:43 <mastarija> dminuoso, to test the new syntax?
2021-06-10 10:46:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-10 10:46:57 × Guest9836 quits (~Guest98@156.217.248.178) (Quit: Client closed)
2021-06-10 10:47:07 <mastarija> starting a ghci from ghci :D
2021-06-10 10:47:20 <mastarija> That smells like trouble
2021-06-10 10:47:39 <dminuoso> Well, you can just run `ghc` on small files. :)
2021-06-10 10:47:53 <mastarija> Well, I just might try it.
2021-06-10 10:48:00 <mastarija> I have some free time this year anyway
2021-06-10 10:49:27 × pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2021-06-10 10:49:32 × brian_da_mage quits (~Neuromanc@user/briandamag) (Ping timeout: 252 seconds)
2021-06-10 10:50:59 <dminuoso> mastarija: https://gitlab.haskell.org/ghc/ghc/-/wikis/building/in-ghci
2021-06-10 10:51:19 <dminuoso> This can be handy to rapidly test out changes as you make them to GHC.
2021-06-10 10:52:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-10 10:52:18 → Day1 joins (~Android@2a01cb06a02f03df0000005a611ae401.ipv6.abo.wanadoo.fr)
2021-06-10 10:52:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-10 10:53:21 → hmmmas joins (~chenqisu1@183.217.200.246)
2021-06-10 10:53:51 × yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 252 seconds)
2021-06-10 10:54:25 <mastarija> That's cool, so basically it's not as big of a deal as I thought
2021-06-10 10:55:52 × ukari quits (~ukari@user/ukari) (Remote host closed the connection)
2021-06-10 10:56:53 → ukari joins (~ukari@user/ukari)
2021-06-10 10:57:59 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-10 10:58:26 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-10 11:01:27 ← jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
2021-06-10 11:03:24 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-10 11:04:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-10 11:04:30 × Day1 quits (~Android@2a01cb06a02f03df0000005a611ae401.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer)
2021-06-10 11:05:39 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a)
2021-06-10 11:06:00 → teaSlurper joins (~chris@81.96.113.213)
2021-06-10 11:06:44 × azeem quits (~azeem@176.200.230.226) (Ping timeout: 245 seconds)
2021-06-10 11:07:06 → neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-10 11:07:27 → azeem joins (~azeem@176.200.195.4)
2021-06-10 11:08:21 → agumonke` joins (~user@88.160.31.174)
2021-06-10 11:08:54 → Day1 joins (~Android@2a01cb06a02f03df0000005a611ae401.ipv6.abo.wanadoo.fr)
2021-06-10 11:09:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-10 11:09:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-10 11:10:04 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 245 seconds)
2021-06-10 11:10:47 × Day1 quits (~Android@2a01cb06a02f03df0000005a611ae401.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer)
2021-06-10 11:18:28 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-10 11:19:41 → Torro joins (Torro@gateway/vpn/protonvpn/torro)
2021-06-10 11:19:58 × azeem quits (~azeem@176.200.195.4) (Ping timeout: 272 seconds)
2021-06-10 11:20:01 → sheepduck joins (~sheepduck@2607:fea8:2a61:4800::3ae6)
2021-06-10 11:20:19 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Quit: Reconnecting)
2021-06-10 11:20:35 → marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8)
2021-06-10 11:21:29 → Day1 joins (~Android@pop.92-184-116-93.mobile.abo.orange.fr)
2021-06-10 11:22:23 × sheepduck quits (~sheepduck@2607:fea8:2a61:4800::3ae6) (Remote host closed the connection)
2021-06-10 11:23:00 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-06-10 11:24:52 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-06-10 11:25:20 → azeem joins (~azeem@176.200.195.4)
2021-06-10 11:26:02 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a)
2021-06-10 11:26:45 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-10 11:27:49 × dhil quits (~dhil@80.208.56.181) (Ping timeout: 268 seconds)
2021-06-10 11:28:00 → sheepduck joins (~sheepduck@2607:fea8:2a61:4800::3ae6)
2021-06-10 11:30:54 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 268 seconds)
2021-06-10 11:31:09 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-10 11:36:45 × jespada quits (~jespada@90.254.242.55) (Ping timeout: 244 seconds)
2021-06-10 11:37:41 × azeem quits (~azeem@176.200.195.4) (Ping timeout: 268 seconds)
2021-06-10 11:38:04 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-10 11:38:43 → trent1 joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-06-10 11:38:48 → azeem joins (~azeem@176.200.214.131)
2021-06-10 11:39:00 → jespada joins (~jespada@90.254.242.55)
2021-06-10 11:40:35 → dhil joins (~dhil@195.213.192.47)
2021-06-10 11:45:56 × azeem quits (~azeem@176.200.214.131) (Ping timeout: 272 seconds)
2021-06-10 11:46:04 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a)
2021-06-10 11:47:46 → azeem joins (~azeem@176.200.214.131)
2021-06-10 11:50:29 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 245 seconds)
2021-06-10 11:52:09 × azeem quits (~azeem@176.200.214.131) (Ping timeout: 252 seconds)
2021-06-10 11:53:19 → azeem joins (~azeem@176.200.214.131)
2021-06-10 11:53:34 → slack1256 joins (~slack1256@181.203.23.128)
2021-06-10 11:56:28 × yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-06-10 11:57:13 → yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp)
2021-06-10 11:58:28 × fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-06-10 12:00:57 × hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.)
2021-06-10 12:02:36 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 252 seconds)
2021-06-10 12:03:49 × trent1 quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 245 seconds)
2021-06-10 12:05:34 × azeem quits (~azeem@176.200.214.131) (Ping timeout: 272 seconds)
2021-06-10 12:05:34 × chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) (Ping timeout: 272 seconds)
2021-06-10 12:05:52 → azeem joins (~azeem@176.201.34.70)
2021-06-10 12:06:17 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a)
2021-06-10 12:09:21 → jippiedoe joins (~david@2a02-a44c-e14e-1-6bdc-c755-d41c-84af.fixed6.kpn.net)
2021-06-10 12:10:59 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 268 seconds)
2021-06-10 12:15:50 → dhil joins (~dhil@80.208.56.181)
2021-06-10 12:16:23 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
←Prev  Next→
Page 1 .. 379 380 381 382 383 384 385 386 387 388 389 .. 17995

All times are in UTC.