Logs: liberachat/#haskell
| 2025-09-30 11:19:08 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 11:19:22 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 11:19:25 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-30 11:27:09 | × | kuribas quits (~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-09-30 11:27:45 | → | xff0x joins (~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1) |
| 2025-09-30 11:32:56 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 11:33:01 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-30 11:33:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-09-30 11:34:19 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-30 11:35:56 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-09-30 11:36:14 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-09-30 11:42:08 | trickard_ | is now known as trickard |
| 2025-09-30 11:46:52 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-09-30 11:47:21 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-09-30 11:50:17 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-30 11:53:06 | → | karenw joins (~karenw@user/karenw) |
| 2025-09-30 11:53:15 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-30 11:55:02 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-30 11:55:04 | → | yin joins (~zero@user/zero) |
| 2025-09-30 11:55:11 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-30 11:55:12 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-30 11:59:46 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-30 12:00:02 | → | yin joins (~zero@user/zero) |
| 2025-09-30 12:07:00 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-30 12:12:57 | × | synchromesh quits (~john@2406:5a00:2412:2c00:80b2:7c91:4ece:7d51) (Read error: Connection reset by peer) |
| 2025-09-30 12:14:05 | → | synchromesh joins (~john@2406:5a00:2412:2c00:15ab:9189:d43d:f752) |
| 2025-09-30 12:31:07 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-09-30 12:31:18 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-30 12:31:49 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 264 seconds) |
| 2025-09-30 12:32:17 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-30 12:36:05 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-09-30 12:37:25 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-30 12:38:49 | → | yin joins (~zero@user/zero) |
| 2025-09-30 12:40:42 | → | jreicher joins (~user@user/jreicher) |
| 2025-09-30 12:46:15 | <[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 12:46:27 | <[exa]> | might be the case that it's actually the error message production that dies |
| 2025-09-30 12:48:26 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-09-30 12:52:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-30 12:55:00 | <tomsmeding> | yeah the panic also mentions zonking |
| 2025-09-30 12:55:11 | <tomsmeding> | [exa]: I have no clue how any of that works :) |
| 2025-09-30 13:04:00 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-30 13:08:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 13:09:37 | × | Square2 quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-09-30 13:09:38 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-30 13:13:37 | <[exa]> | zonking is when the inferred types go back to AST |
| 2025-09-30 13:13:40 | → | athan joins (~athan@syn-174-106-168-248.res.spectrum.com) |
| 2025-09-30 13:14:08 | <tomsmeding> | surely that just happens in general at the end of various passes in the type checker |
| 2025-09-30 13:20:15 | <[exa]> | typechecker has more passes? (/me scared) |
| 2025-09-30 13:20:54 | <tomsmeding> | well, like, surely you reify the final types of functions when you're done with a strongly-connected component |
| 2025-09-30 13:23:24 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-09-30 13:27:37 | × | athan quits (~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-09-30 13:29:53 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-09-30 13:31:51 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-09-30 13:34:45 | × | Inline quits (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-09-30 13:35:09 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2025-09-30 13:39:28 | × | xff0x quits (~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1) (Quit: xff0x) |
| 2025-09-30 13:46:18 | → | vgtw joins (~vgtw@user/vgtw) |
| 2025-09-30 13:46:54 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-30 13:50:20 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-09-30 13:50:49 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-09-30 13:57:37 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 264 seconds) |
| 2025-09-30 13:59:31 | → | vgtw joins (~vgtw@user/vgtw) |
| 2025-09-30 14:09:39 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-30 14:20:28 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-30 14:23:11 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 2025-09-30 14:27:33 | → | craunts79 joins (~craunts@136.158.7.194) |
| 2025-09-30 14:30:40 | × | Athas quits (athas@sigkill.dk) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-30 14:30:53 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-30 14:31:23 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-09-30 14:34:04 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-30 14:42:19 | × | ftzm quits (~ftzm@085080224053.dynamic.telenor.dk) (Ping timeout: 250 seconds) |
| 2025-09-30 14:44:29 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-09-30 14:44:51 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-09-30 14:47:01 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 14:47:14 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 14:49:18 | → | Athas joins (athas@sigkill.dk) |
| 2025-09-30 14:50:57 | → | ftzm joins (~ftzm@085080238191.dynamic.telenor.dk) |
| 2025-09-30 14:58:49 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 14:59:03 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 15:02:18 | → | Zemyla joins (~Zemyla@2600:100c:b0ac:590:687f:7eff:fe1b:d560) |
| 2025-09-30 15:02:35 | Zemyla | is now known as Zemy |
| 2025-09-30 15:03:40 | × | Zemy quits (~Zemyla@2600:100c:b0ac:590:687f:7eff:fe1b:d560) (Client Quit) |
| 2025-09-30 15:07:01 | → | Zemy joins (~Zemy@2600:100c:b0ac:590:687f:7eff:fe1b:d560) |
| 2025-09-30 15:10:18 | × | jle` quits (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 252 seconds) |
| 2025-09-30 15:11:15 | → | jle` joins (~jle`@2603:8001:3b00:11::1156) |
| 2025-09-30 15:13:58 | trickard_ | is now known as trickard |
| 2025-09-30 15:15:18 | <geekosaur> | IIRC zonking is replacing IORefs representing tyvars into the types they contain |
| 2025-09-30 15:15:31 | <geekosaur> | s/into/with |
| 2025-09-30 15:20:45 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-09-30 15:30:37 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-30 15:44:34 | <ski> | (i guess another term one might use is "freezing" (cf. `Data.Array.MArray.freeze :: (Ix i,MArray ma e m,IArray ia e) => ma i e -> m (ia i e)'). in Prolog, copy_term/2 is used to get a copy that is not affected by backtracking uninstantiating a term (which might then get instantiated a different way). a side-effect of that is losing any variable aliasing (equality constraints) between the copied term and |
| 2025-09-30 15:44:40 | <ski> | other terms (and, in general, also losing any other (non-instantiation) constraints as well, on variables in the term)) |
| 2025-09-30 15:54:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-30 15:54:19 | → | L-Type joins (~L-Type@175.176.38.142) |
| 2025-09-30 16:00:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-30 16:02:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-30 16:03:01 | × | _bo quits (~bo@98.red-83-56-255.dynamicip.rima-tde.net) (Quit: Leaving) |
| 2025-09-30 16:03:44 | × | annamalai quits (~annamalai@157.32.115.168) (Ping timeout: 240 seconds) |
| 2025-09-30 16:06:05 | → | athan joins (~athan@syn-174-106-168-248.res.spectrum.com) |
| 2025-09-30 16:24:34 | → | Lycurgus joins (~juan@user/Lycurgus) |
All times are in UTC.