Newest at the top
| 2025-12-22 22:39:29 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-22 22:39:21 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-22 22:37:26 +0100 | elarks | (~yerrii@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2025-12-22 22:37:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 22:37:00 +0100 | myme | (~myme@2a01:799:d5e:5f00:d40:c994:1cc4:c4b5) myme |
| 2025-12-22 22:35:45 +0100 | myme | (~myme@2a01:799:d5e:5f00:5e12:8326:f92:1a30) (Ping timeout: 245 seconds) |
| 2025-12-22 22:32:18 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-22 22:28:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 22:25:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-22 22:23:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 22:14:16 +0100 | <hololeap> | found it: if impl(ghc >= 9.6) |
| 2025-12-22 22:12:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-22 22:12:32 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-22 22:08:49 +0100 | <hololeap> | can someone remind me what the syntax is in a .cabal file for (if ghc >= 9.6) |
| 2025-12-22 22:07:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 22:05:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-22 22:05:17 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-22 21:57:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-22 21:54:35 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-22 21:54:22 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-22 21:52:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 21:46:35 +0100 | polykernel_ | polykernel |
| 2025-12-22 21:46:34 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 256 seconds) |
| 2025-12-22 21:45:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 21:44:28 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-12-22 21:40:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 21:38:13 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-22 21:36:58 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 255 seconds) |
| 2025-12-22 21:29:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-22 21:24:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 21:21:29 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-22 21:16:11 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-22 21:15:40 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-22 21:13:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 21:06:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 21:01:19 +0100 | mastarija | (~mastarija@9-118.dsl.iskon.hr) (Quit: Client closed) |
| 2025-12-22 21:01:15 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh |
| 2025-12-22 20:59:48 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-22 20:59:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-22 20:55:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 20:51:57 +0100 | <mastarija> | Optimizations related to some "laws", not in general. |
| 2025-12-22 20:51:02 +0100 | <mastarija> | But it does recognize some things IIRC and can apply some optimizations in certain cases. |
| 2025-12-22 20:50:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 20:50:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-22 20:50:48 +0100 | <geekosaur> | ghc knows nothing about laws. some RULES assume that various laws hold, meaning they produce breakage if they don't, but nothing checks or otherwise uses them |
| 2025-12-22 20:50:10 +0100 | <mastarija> | No :) |
| 2025-12-22 20:49:26 +0100 | <EvanR> | to simplify things |
| 2025-12-22 20:49:13 +0100 | <EvanR> | does GHC use "laws" of typeclasses in general? |
| 2025-12-22 20:45:21 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-22 20:45:05 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |