Logs: freenode/#haskell
| 2021-05-13 15:49:07 | <boxscape> | Yeah I saw SPJ's talk on youtube about that |
| 2021-05-13 15:49:44 | <dolio> | I would guess that maybe it isn't reducing the type functions or something, but I don't have enough experience to say definitively. |
| 2021-05-13 15:50:17 | × | ddellacosta quits (~ddellacos@2607:fb90:7bc8:cdb:85b6:fc05:3196:93a7) (Remote host closed the connection) |
| 2021-05-13 15:50:22 | <boxscape> | mhm seems likely |
| 2021-05-13 15:50:49 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 15:54:43 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 15:56:21 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-13 15:56:28 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 15:56:45 | × | xft0 quits (~xft0@185.234.208.208.r.toneticgroup.pl) (Quit: leaving) |
| 2021-05-13 15:58:07 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 2021-05-13 15:58:22 | × | xcmw quits (~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-13 15:58:54 | <boxscape> | Oh! |
| 2021-05-13 15:58:57 | <boxscape> | It works in HEAD |
| 2021-05-13 15:58:58 | <boxscape> | nice |
| 2021-05-13 15:59:13 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-13 16:00:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 16:00:58 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 16:01:23 | → | ddella___ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 16:01:51 | → | xcmw joins (~textual@2603-6011-2200-f103-757c-c76e-ded5-d43b.res6.spectrum.com) |
| 2021-05-13 16:05:08 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-13 16:05:25 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-13 16:05:34 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-13 16:05:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-13 16:05:51 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-13 16:07:19 | → | bermraj joins (~azael@2a01:4f8:211:1349::2) |
| 2021-05-13 16:08:14 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-13 16:08:57 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-13 16:12:36 | × | Guest1217 quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-13 16:16:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-13 16:17:02 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 2021-05-13 16:17:27 | Alleria | is now known as Guest95205 |
| 2021-05-13 16:18:31 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-13 16:18:44 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-13 16:18:54 | <dolio> | Actually, I think my guess above is wrong. I think it's more likely that what's happening is that when it considers cases that aren't covered, it doesn't incorporate the refinements they cause. |
| 2021-05-13 16:19:49 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-13 16:19:55 | <boxscape> | hm yeah that would make sense |
| 2021-05-13 16:22:08 | <boxscape> | dolio actually, I figured out how to make it work with ghc 8.10 as well now: https://paste.tomsmeding.com/hrqGCTTO |
| 2021-05-13 16:22:17 | <boxscape> | which conveniently has a nicer API, too |
| 2021-05-13 16:22:49 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-13 16:22:58 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-05-13 16:23:00 | <boxscape> | i.e., passing a SingI constraint instead of a singleton directly |
| 2021-05-13 16:23:49 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-13 16:24:26 | <boxscape> | all in one paste for easy comparison https://paste.tomsmeding.com/UxNIdVNY |
| 2021-05-13 16:25:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-13 16:25:41 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-13 16:26:07 | × | ppmdo quits (~ppmdo@2a01:c23:bc1f:6d00:831a:c82b:c346:558f) (Ping timeout: 260 seconds) |
| 2021-05-13 16:27:34 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-13 16:30:41 | → | poljar joins (~poljar@93-143-170-103.adsl.net.t-com.hr) |
| 2021-05-13 16:31:17 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 268 seconds) |
| 2021-05-13 16:31:43 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-13 16:32:41 | × | poljar1 quits (~poljar@93-139-21-8.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 2021-05-13 16:35:01 | → | CrazyPyt_ joins (~crazypyth@206.214.238.6) |
| 2021-05-13 16:35:16 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 2021-05-13 16:35:40 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 2021-05-13 16:36:11 | → | ddellacosta joins (~ddellacos@83.143.246.103) |
| 2021-05-13 16:36:53 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 260 seconds) |
| 2021-05-13 16:37:37 | → | _bin joins (~bin@2600:1700:10a1:38d0:4da3:c080:c26c:e9d4) |
| 2021-05-13 16:38:24 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-05-13 16:40:54 | × | ddellacosta quits (~ddellacos@83.143.246.103) (Ping timeout: 265 seconds) |
| 2021-05-13 16:42:29 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-13 16:43:19 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-13 16:47:56 | × | kingswim quits (~kevinying@102.91.4.33) (Ping timeout: 268 seconds) |
| 2021-05-13 16:48:14 | × | dumptruckman quits (~dumptruck@li1287-148.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2021-05-13 16:48:35 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-13 16:49:10 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-13 16:49:27 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-13 16:50:06 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-13 16:50:09 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-13 16:51:53 | × | nyd quits (~nyd@unaffiliated/elysian) (Ping timeout: 246 seconds) |
| 2021-05-13 16:52:21 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-13 16:53:40 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-05-13 16:54:54 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-13 16:56:51 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-pdbhajqewdjsgghb) |
| 2021-05-13 16:57:24 | → | Rudd0^ joins (~Rudd0@185.189.115.103) |
| 2021-05-13 16:58:29 | → | asdgae33 joins (497b7713@gateway/web/cgi-irc/kiwiirc.com/ip.73.123.119.19) |
| 2021-05-13 16:58:44 | × | asdgae33 quits (497b7713@gateway/web/cgi-irc/kiwiirc.com/ip.73.123.119.19) (Client Quit) |
| 2021-05-13 17:00:28 | → | asdgae33 joins (497b7713@gateway/web/cgi-irc/kiwiirc.com/ip.73.123.119.19) |
| 2021-05-13 17:00:41 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 2021-05-13 17:01:18 | → | isovector joins (~isovector@172.103.216.166) |
| 2021-05-13 17:01:34 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-13 17:01:37 | × | deejaytee quits (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) (Ping timeout: 260 seconds) |
| 2021-05-13 17:01:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-13 17:02:38 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-05-13 17:02:48 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-13 17:07:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-13 17:09:23 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
| 2021-05-13 17:09:29 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-13 17:10:51 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-13 17:12:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-13 17:13:29 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 17:16:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 17:18:31 | × | ddella___ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-13 17:20:21 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-ahljnfmlpzcempts) |
| 2021-05-13 17:21:19 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-13 17:21:37 | × | tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 245 seconds) |
| 2021-05-13 17:21:43 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 2021-05-13 17:22:32 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-05-13 17:23:03 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-13 17:23:05 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 17:25:04 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
All times are in UTC.