Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 .. 18041
— 1,804,055 events total
2021-08-12 21:59:06 → azeem joins (~azeem@176.200.230.183)
2021-08-12 22:01:39 → Erutuon joins (~Erutuon@user/erutuon)
2021-08-12 22:03:13 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 248 seconds)
2021-08-12 22:03:58 × jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-08-12 22:04:26 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-12 22:04:51 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-12 22:05:45 → burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk)
2021-08-12 22:10:09 × burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 248 seconds)
2021-08-12 22:12:48 × sqrt2 quits (~ben@80-108-18-7.cable.dynamic.surfer.at) (Read error: Connection reset by peer)
2021-08-12 22:13:08 → sqrt2 joins (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net)
2021-08-12 22:15:41 → tommd joins (~tommd@cpe-76-179-204-251.maine.res.rr.com)
2021-08-12 22:15:43 × pmk quits (~user@2a02:587:941a:35d9:8f9c:6cb6:67dc:f5e3) (Remote host closed the connection)
2021-08-12 22:17:13 → hexfive joins (~eric@50.35.83.177)
2021-08-12 22:17:16 × hexfive quits (~eric@50.35.83.177) (Client Quit)
2021-08-12 22:19:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-12 22:20:46 × agua_pesada quits (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Ping timeout: 256 seconds)
2021-08-12 22:20:56 → zaquest joins (~notzaques@5.128.210.178)
2021-08-12 22:21:34 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-12 22:22:08 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-12 22:25:52 × azeem quits (~azeem@176.200.230.183) (Read error: Connection reset by peer)
2021-08-12 22:25:52 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-12 22:26:14 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-12 22:27:13 → azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-12 22:31:22 × acidjnk_new quits (~acidjnk@p5487d90a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-12 22:32:01 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 248 seconds)
2021-08-12 22:32:32 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
2021-08-12 22:34:34 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-12 22:37:06 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-12 22:38:00 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-12 22:38:57 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-08-12 22:39:18 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-08-12 22:43:11 × chomwitt quits (~chomwitt@athedsl-32301.home.otenet.gr) (Remote host closed the connection)
2021-08-12 22:45:08 → fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-08-12 22:48:45 × Guest84 quits (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) (Quit: Client closed)
2021-08-12 22:50:13 × dextaa quits (~DV@user/dextaa) (Quit: Ping timeout (120 seconds))
2021-08-12 22:50:48 × polyphem quits (~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083) (Ping timeout: 256 seconds)
2021-08-12 22:51:27 <boxscape> Does a RULES pragma like this make sense to improve performance? I'm a little surprised that it accepts the rule without unsafeCoerce, and I wouldn't have expected `test` to still output something sensible if the rule fires
2021-08-12 22:51:28 <boxscape> https://paste.tomsmeding.com/O7KCORMk
2021-08-12 22:51:50 <boxscape> (in my actual application I don't actually care whether or not the structure of the witness is correct, which made me think about adding this rule to begin with)
2021-08-12 22:51:56 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-12 22:52:01 <boxscape> also, is there a way to see if the rule actually fires?
2021-08-12 22:52:49 <dminuoso> boxscape: Is -fenable-rewrite-rules enabled?
2021-08-12 22:52:57 <boxscape> ooh that would be smart
2021-08-12 22:53:18 <boxscape> hm enabling it doesn't change things
2021-08-12 22:54:51 → Guest35 joins (~Guest35@190.237.13.129)
2021-08-12 22:55:15 <boxscape> ah, but it doesn't fire. Changing the rhs with `unsafeCoerce 4` also doesn't change the result
2021-08-12 22:55:19 → dextaa joins (~DV@user/dextaa)
2021-08-12 22:55:21 <boxscape> s/with/to
2021-08-12 22:56:28 <Guest35> Hello, I'm not getting anything from the haskell vscode extension other than code highlighting. So type errors, auto formatting and others are not working. Any ideas? I'm using stack and ghc 8.10.4
2021-08-12 22:58:38 <boxscape> (ah, also, -ddump-rule-firings exists, which also doesn't show any firings. Could be I'm still missing something about how to get rules to fire in general)
2021-08-12 22:59:14 <glguy> Guest35: I don't know about stack, but if you're using HLS there's a Haskell section in the Output tab
2021-08-12 23:00:33 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-12 23:00:58 <dibblego> Guest35: https://i.imgur.com/ilVgn1q.png
2021-08-12 23:01:21 <Guest35> I don't see any Haskell section there, which I guess the haskell extension is not working for some reason
2021-08-12 23:01:36 <Guest35> @dibblego yes I'm using that one
2021-08-12 23:01:36 <lambdabot> Unknown command, try @list
2021-08-12 23:02:22 <Guest35> too used to discord... haha
2021-08-12 23:05:16 × azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-08-12 23:16:06 × dextaa quits (~DV@user/dextaa) (Ping timeout: 268 seconds)
2021-08-12 23:16:51 → dextaa joins (~DV@user/dextaa)
2021-08-12 23:19:26 → Erutuon joins (~Erutuon@user/erutuon)
2021-08-12 23:23:50 × seiryn quits (~seiryn@2a01cb0409c990003ccf6635f6976a70.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.2)
2021-08-12 23:28:06 × derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-08-12 23:35:32 × jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds)
2021-08-12 23:37:41 × srk quits (~sorki@user/srk) (Ping timeout: 268 seconds)
2021-08-12 23:42:05 → pavonia joins (~user@user/siracusa)
2021-08-12 23:46:35 → srk joins (~sorki@user/srk)
2021-08-12 23:54:33 × JavierNeira[m] quits (~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 252 seconds)
2021-08-12 23:54:34 × srid[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 252 seconds)
2021-08-12 23:54:34 × Deide quits (~deide@user/deide) (Ping timeout: 240 seconds)
2021-08-12 23:54:34 × Ollie[m] quits (~ollieocha@2001:470:69fc:105::41a5) (Ping timeout: 240 seconds)
2021-08-12 23:54:35 × aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 240 seconds)
2021-08-12 23:54:35 × bb010g quits (~bb010g@2001:470:69fc:105::9a5) (Ping timeout: 240 seconds)
2021-08-12 23:54:36 × octeep[m] quits (~octeepmoc@2001:470:69fc:105::695e) (Ping timeout: 240 seconds)
2021-08-12 23:54:36 × andreabedini[m] quits (~andreabed@2001:470:69fc:105::c821) (Ping timeout: 240 seconds)
2021-08-12 23:54:50 × SimonWeiss[m] quits (~weiss-dma@2001:470:69fc:105::bebd) (Ping timeout: 256 seconds)
2021-08-12 23:54:59 × ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Ping timeout: 240 seconds)
2021-08-12 23:54:59 × afotgkmnzj7asv3r quits (~afotgkmnz@2001:470:69fc:105::c24b) (Ping timeout: 240 seconds)
2021-08-12 23:54:59 × jchia[m] quits (~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 240 seconds)
2021-08-12 23:54:59 × carmysilna quits (~brightly-@2001:470:69fc:105::2190) (Ping timeout: 240 seconds)
2021-08-12 23:54:59 × maerwald[m] quits (~maerwaldm@user/maerwald) (Ping timeout: 252 seconds)
2021-08-12 23:55:00 × dualinverter[m] quits (~dualinver@2001:470:69fc:105::16a7) (Ping timeout: 252 seconds)
2021-08-12 23:55:06 × jkachmar quits (~jkachmar@2001:470:69fc:105::c72d) (Ping timeout: 252 seconds)
2021-08-12 23:55:06 × ac quits (~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 252 seconds)
2021-08-12 23:55:06 × lwe[m] quits (~dendrumat@2001:470:69fc:105::2f9b) (Ping timeout: 252 seconds)
2021-08-12 23:55:07 × alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 252 seconds)
2021-08-12 23:55:08 × PotatoHatsue quits (~berberman@2001:470:69fc:105::b488) (Ping timeout: 252 seconds)
2021-08-12 23:55:08 × OndejSkup[m] quits (~mimivxmat@2001:470:69fc:105::c300) (Ping timeout: 252 seconds)
2021-08-12 23:55:08 × unrooted quits (~unrooted@2001:470:69fc:105::a4a) (Ping timeout: 245 seconds)
2021-08-12 23:55:10 × Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Ping timeout: 268 seconds)
2021-08-12 23:55:11 × siraben quits (~siraben@user/siraben) (Ping timeout: 268 seconds)
2021-08-12 23:55:11 × ormaaj quits (~ormaaj@user/ormaaj) (Ping timeout: 268 seconds)
2021-08-12 23:55:11 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (Ping timeout: 268 seconds)
2021-08-12 23:55:11 × ericson2314 quits (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 268 seconds)
2021-08-12 23:55:12 × kadoban quits (~kadoban@user/kadoban) (Ping timeout: 268 seconds)
2021-08-12 23:55:13 × boxscape quits (~boxscape@user/boxscape) (Ping timeout: 268 seconds)
2021-08-12 23:55:13 × Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 268 seconds)
2021-08-12 23:55:14 × deuslambda[m] quits (~deuslambd@2001:470:69fc:105::c749) (Ping timeout: 268 seconds)
2021-08-12 23:55:14 × justosophy[m] quits (~justosoph@2001:470:69fc:105::572f) (Ping timeout: 268 seconds)
2021-08-12 23:55:16 × cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 276 seconds)
←Prev  Next→
Page 1 .. 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 .. 18041

All times are in UTC.