Newest at the top
| 2025-12-03 08:57:12 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-03 08:54:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 08:43:42 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-03 08:43:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-03 08:42:09 +0100 | iqubic | (~sophia@2601:602:9203:1660:661f:14db:875e:5d74) iqubic |
| 2025-12-03 08:41:35 +0100 | fp1 | (~Thunderbi@130.233.53.128) (Ping timeout: 245 seconds) |
| 2025-12-03 08:38:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 08:36:52 +0100 | iqubic | (~sophia@2601:602:9203:1660:dd83:8e66:bfcb:8c1e) (Remote host closed the connection) |
| 2025-12-03 08:32:46 +0100 | fp1 | (~Thunderbi@130.233.53.128) fp |
| 2025-12-03 08:30:59 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 08:27:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-03 08:26:46 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-12-03 08:25:12 +0100 | <glguy> | If you finish aoc tonight check out my infinite list of solutions for when you get to turn on 1, 2, 3... batteries |
| 2025-12-03 08:22:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 08:20:43 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 08:20:28 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-12-03 08:18:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-03 08:13:46 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-03 08:12:16 +0100 | <jackdk> | It would still mean writing `parse :: SBoolI b => String -> Two b`; the `noConstraint` form is not possible AFAIK. |
| 2025-12-03 08:11:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-03 08:11:16 +0100 | <jackdk> | I had a similar issue the other day, and ended up with something akin to this. Then I realised I'd need to manufacture an SBoolI dictionary somehow, and I may as well use package `singletons` if I want that. So I found a way to do what I wanted with less typelevel stuff. https://www.irccloud.com/pastebin/vNHqRN0S/OneTwoSBool.hs |
| 2025-12-03 08:06:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 07:59:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-03 07:55:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 07:54:06 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-03 07:51:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 07:49:19 +0100 | chenjf | (~chenjf@68.64.178.54) (Client Quit) |
| 2025-12-03 07:45:10 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-12-03 07:42:21 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-03 07:40:44 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 260 seconds) |
| 2025-12-03 07:39:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-03 07:36:12 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) |
| 2025-12-03 07:34:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 07:34:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-03 07:26:49 +0100 | <EvanR> | thanks |
| 2025-12-03 07:26:16 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-03 07:24:15 +0100 | <Leary> | There are two instances, and GHC won't let you pretend they're the same as `Read (Two b)`, because that implies you have a way to choose which instance you want to use **at runtime** from type information alone. |
| 2025-12-03 07:23:27 +0100 | <Leary> | Let's kill all the cruft so others can follow along; the core issue is this: https://play.haskell.org/saved/BeYSIaVz |
| 2025-12-03 07:23:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 07:22:24 +0100 | <haskellbridge> | <zoil> i have concluded that the compiler hates me, and i was wrong not to have rage quit. |
| 2025-12-03 07:21:57 +0100 | <haskellbridge> | <zoil> because the injective type family fails to impart the same data as the fundep |
| 2025-12-03 07:21:39 +0100 | <haskellbridge> | <zoil> so, whatever this apparent workaround was supposed to acheive, it cant |
| 2025-12-03 07:18:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 07:18:04 +0100 | <haskellbridge> | <zoil> like, i cant get the fundeps to go through the injective type family properly |
| 2025-12-03 07:17:30 +0100 | <haskellbridge> | <zoil> type family StatefulTransfers (xs :: Nonempty Type) i o = (c :: Constraint) | c -> xs i o where |
| 2025-12-03 07:17:30 +0100 | <haskellbridge> | <zoil> its saying the injectivity condition here is not accepted |
| 2025-12-03 07:16:41 +0100 | <haskellbridge> | <zoil> https://play.haskell.org/saved/GJqAvv67 |
| 2025-12-03 07:16:40 +0100 | <haskellbridge> | <zoil> er, sorry, that was the previous version, now i have this |
| 2025-12-03 07:16:19 +0100 | <haskellbridge> | https://play.haskell.org/saved/GwyPOlmo |
| 2025-12-03 07:16:19 +0100 | <haskellbridge> | <zoil> so far i have this; |