Newest at the top
| 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; |
| 2025-12-03 07:14:27 +0100 | <haskellbridge> | <zoil> thanks, im sorry i rage quit |
| 2025-12-03 07:07:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 07:07:08 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-12-03 07:06:26 +0100 | trickard_ | trickard |
| 2025-12-03 07:05:30 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-03 07:02:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 07:02:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 06:59:15 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-03 06:59:01 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-12-03 06:57:41 +0100 | Fijxu | (~Fijxu@user/fijxu) (Remote host closed the connection) |
| 2025-12-03 06:57:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 06:57:02 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-12-03 06:56:10 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-12-03 06:55:35 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-12-03 06:55:00 +0100 | <probie> | Since your problem seems to be at the type level, can you give an expression you want to type check, or not type check as appropriate? |
| 2025-12-03 06:54:08 +0100 | <probie> | +1 for could not infer what you're trying to do. There's no need to be mean about it. You're obviously frustrated by something, type families are involved, you did something with singletons but it was the wrong path(?) |
| 2025-12-03 06:49:08 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 06:48:55 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 06:48:27 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-03 06:46:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-03 06:45:56 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |