Newest at the top
2025-09-30 15:23:24 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
2025-09-30 15:20:54 +0200 | <tomsmeding> | well, like, surely you reify the final types of functions when you're done with a strongly-connected component |
2025-09-30 15:20:15 +0200 | <[exa]> | typechecker has more passes? (/me scared) |
2025-09-30 15:14:08 +0200 | <tomsmeding> | surely that just happens in general at the end of various passes in the type checker |
2025-09-30 15:13:40 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) athan |
2025-09-30 15:13:37 +0200 | <[exa]> | zonking is when the inferred types go back to AST |
2025-09-30 15:09:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-30 15:09:37 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
2025-09-30 15:08:55 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
2025-09-30 15:04:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-30 14:55:11 +0200 | <tomsmeding> | [exa]: I have no clue how any of that works :) |
2025-09-30 14:55:00 +0200 | <tomsmeding> | yeah the panic also mentions zonking |
2025-09-30 14:52:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
2025-09-30 14:48:26 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-09-30 14:46:27 +0200 | <[exa]> | might be the case that it's actually the error message production that dies |
2025-09-30 14:46:15 +0200 | <[exa]> | tomsmeding: the "NoFlexi" comes from zonking apparently https://hackage-content.haskell.org/package/ghc-9.12.2/docs/GHC-Tc-Zonk-Env.html#t:ZonkFlexi |
2025-09-30 14:40:42 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-30 14:38:49 +0200 | yin | (~zero@user/zero) zero |
2025-09-30 14:37:25 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-09-30 14:36:05 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
2025-09-30 14:32:17 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-09-30 14:31:49 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 264 seconds) |
2025-09-30 14:31:18 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-30 14:31:07 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
2025-09-30 14:14:05 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:15ab:9189:d43d:f752) synchromesh |
2025-09-30 14:12:57 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:80b2:7c91:4ece:7d51) (Read error: Connection reset by peer) |
2025-09-30 14:07:00 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-09-30 14:00:02 +0200 | yin | (~zero@user/zero) zero |
2025-09-30 13:59:46 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
2025-09-30 13:55:12 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-30 13:55:11 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-09-30 13:55:04 +0200 | yin | (~zero@user/zero) zero |
2025-09-30 13:55:02 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-09-30 13:53:15 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
2025-09-30 13:53:06 +0200 | karenw | (~karenw@user/karenw) karenw |
2025-09-30 13:50:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-30 13:47:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
2025-09-30 13:46:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-09-30 13:42:08 +0200 | trickard_ | trickard |
2025-09-30 13:36:14 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-30 13:35:56 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-09-30 13:34:19 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-30 13:33:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2025-09-30 13:33:01 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-30 13:32:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
2025-09-30 13:27:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1) |
2025-09-30 13:27:09 +0200 | kuribas | (~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
2025-09-30 13:19:25 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-09-30 13:19:22 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-30 13:19:08 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |