2025/09/30

Newest at the top

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)
2025-09-30 13:42:08 +0200trickard_trickard
2025-09-30 13:36:14 +0200__monty__(~toonn@user/toonn) toonn
2025-09-30 13:35:56 +0200Lord_of_Life_Lord_of_Life
2025-09-30 13:34:19 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-30 13:33:37 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2025-09-30 13:33:01 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-30 13:32:56 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-09-30 13:27:45 +0200xff0x(~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1)
2025-09-30 13:27:09 +0200kuribas(~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) (Ping timeout: 244 seconds)
2025-09-30 13:19:25 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-30 13:19:22 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-30 13:19:08 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)