2025/09/30

Newest at the top

2025-09-30 15:59:31 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-09-30 15:57:37 +0200vgtw(~vgtw@user/vgtw) (Ping timeout: 264 seconds)
2025-09-30 15:50:49 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-09-30 15:50:20 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-09-30 15:46:54 +0200ystael(~ystael@user/ystael) ystael
2025-09-30 15:46:18 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-09-30 15:39:28 +0200xff0x(~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1) (Quit: xff0x)
2025-09-30 15:35:09 +0200vgtw(~vgtw@user/vgtw) (Ping timeout: 252 seconds)
2025-09-30 15:34:45 +0200Inline(~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-09-30 15:31:51 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-09-30 15:29:53 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-09-30 15:27:37 +0200athan(~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 264 seconds)
2025-09-30 15:23:24 +0200karenw(~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 +0200athan(~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 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-30 15:09:37 +0200Square2(~Square4@user/square) (Ping timeout: 264 seconds)
2025-09-30 15:08:55 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-09-30 15:04:00 +0200merijn(~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 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-09-30 14:48:26 +0200ttybitnik(~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 +0200jreicher(~user@user/jreicher) jreicher
2025-09-30 14:38:49 +0200yin(~zero@user/zero) zero
2025-09-30 14:37:25 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-09-30 14:36:05 +0200yin(~zero@user/zero) (Remote host closed the connection)
2025-09-30 14:32:17 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-09-30 14:31:49 +0200jreicher(~user@user/jreicher) (Ping timeout: 264 seconds)
2025-09-30 14:31:18 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-30 14:31:07 +0200ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-09-30 14:14:05 +0200synchromesh(~john@2406:5a00:2412:2c00:15ab:9189:d43d:f752) synchromesh
2025-09-30 14:12:57 +0200synchromesh(~john@2406:5a00:2412:2c00:80b2:7c91:4ece:7d51) (Read error: Connection reset by peer)
2025-09-30 14:07:00 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-30 14:00:02 +0200yin(~zero@user/zero) zero
2025-09-30 13:59:46 +0200yin(~zero@user/zero) (Remote host closed the connection)
2025-09-30 13:55:12 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-30 13:55:11 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-09-30 13:55:04 +0200yin(~zero@user/zero) zero
2025-09-30 13:55:02 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-09-30 13:53:15 +0200yin(~zero@user/zero) (Remote host closed the connection)
2025-09-30 13:53:06 +0200karenw(~karenw@user/karenw) karenw
2025-09-30 13:50:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-30 13:47:21 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-09-30 13:46:52 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)