Newest at the top
2025-09-30 15:59:31 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
2025-09-30 15:57:37 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 264 seconds) |
2025-09-30 15:50:49 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
2025-09-30 15:50:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2025-09-30 15:46:54 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-09-30 15:46:18 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
2025-09-30 15:39:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1) (Quit: xff0x) |
2025-09-30 15:35:09 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
2025-09-30 15:34:45 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-09-30 15:31:51 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
2025-09-30 15:29:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2025-09-30 15:27:37 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 264 seconds) |
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) |