Newest at the top
| 2025-12-07 00:27:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-07 00:26:25 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 246 seconds) |
| 2025-12-07 00:23:09 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-07 00:20:51 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-07 00:19:06 +0100 | trickard_ | trickard |
| 2025-12-07 00:16:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-07 00:11:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-07 00:00:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 23:59:42 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-06 23:56:57 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-06 23:55:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 23:52:26 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-06 23:52:09 +0100 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) tabemann |
| 2025-12-06 23:45:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 23:43:15 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-12-06 23:41:31 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-06 23:39:54 +0100 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2025-12-06 23:39:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 23:38:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-06 23:35:21 +0100 | tabemann | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2025-12-06 23:29:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 23:23:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 23:17:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-06 23:14:31 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-06 23:14:18 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-06 23:13:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 23:08:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 22:57:38 +0100 | <hololeap> | ok. that makes sense |
| 2025-12-06 22:57:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 22:56:58 +0100 | <int-e> | (I'm pretty sure that there's nothing in the type checker that would enumerate all possible values of the `Maybe MatchMode` type; you'll have to do that yourself.) |
| 2025-12-06 22:55:44 +0100 | <int-e> | Maybe not excactly a partial application, but how is the compiler supposed to check a constraint like (forall (m :: Maybe MatchMode). Monad (MatchLogic t m))? |
| 2025-12-06 22:53:53 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-06 22:50:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-06 22:49:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 22:45:14 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-06 22:44:13 +0100 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 244 seconds) |
| 2025-12-06 22:43:21 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-06 22:42:46 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-06 22:42:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-06 22:38:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-06 22:37:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-06 22:37:03 +0100 | <hololeap> | http://dpaste.com/BJFDH62NW |
| 2025-12-06 22:36:19 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-06 22:35:56 +0100 | <hololeap> | it's the same error, so it doesn't seem to only be due to partial application |
| 2025-12-06 22:35:30 +0100 | <geekosaur> | I think there's a [proposal for it, but it is actually hard given how ghc works iirc |
| 2025-12-06 22:35:26 +0100 | <hololeap> | class (forall (m :: Maybe MatchMode). Ord (MatchLogic t m DepSpec)) |
| 2025-12-06 22:35:23 +0100 | <hololeap> | if I change it to: |
| 2025-12-06 22:31:54 +0100 | <hololeap> | is this just a limitation of GHC? something that could be implemented in the future? |
| 2025-12-06 22:31:25 +0100 | <hololeap> | I read here that "type synonym family" is just a type family: https://gitlab.haskell.org/ghc/ghc/-/issues/23860 |
| 2025-12-06 22:30:41 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 256 seconds) |