Newest at the top
2025-09-30 17:44:40 +0200 | <ski> | other terms (and, in general, also losing any other (non-instantiation) constraints as well, on variables in the term)) |
2025-09-30 17:44:34 +0200 | <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 17:30:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-09-30 17:20:45 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
2025-09-30 17:15:31 +0200 | <geekosaur> | s/into/with |
2025-09-30 17:15:18 +0200 | <geekosaur> | IIRC zonking is replacing IORefs representing tyvars into the types they contain |
2025-09-30 17:13:58 +0200 | trickard_ | trickard |
2025-09-30 17:11:15 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) jle` |
2025-09-30 17:10:18 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 252 seconds) |
2025-09-30 17:07:01 +0200 | Zemy | (~Zemy@2600:100c:b0ac:590:687f:7eff:fe1b:d560) |
2025-09-30 17:03:40 +0200 | Zemy | (~Zemyla@2600:100c:b0ac:590:687f:7eff:fe1b:d560) (Client Quit) |
2025-09-30 17:02:35 +0200 | Zemyla | Zemy |
2025-09-30 17:02:18 +0200 | Zemyla | (~Zemyla@2600:100c:b0ac:590:687f:7eff:fe1b:d560) |
2025-09-30 16:59:03 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-30 16:58:49 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-30 16:50:57 +0200 | ftzm | (~ftzm@085080238191.dynamic.telenor.dk) ftzm |
2025-09-30 16:49:18 +0200 | Athas | (athas@sigkill.dk) |
2025-09-30 16:47:14 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-30 16:47:01 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-30 16:44:51 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-09-30 16:44:29 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
2025-09-30 16:42:19 +0200 | ftzm | (~ftzm@085080224053.dynamic.telenor.dk) (Ping timeout: 250 seconds) |
2025-09-30 16:34:04 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-09-30 16:31:23 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-09-30 16:30:53 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-09-30 16:30:40 +0200 | Athas | (athas@sigkill.dk) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-09-30 16:27:33 +0200 | craunts79 | (~craunts@136.158.7.194) |
2025-09-30 16:23:11 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
2025-09-30 16:20:28 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-09-30 16:09:39 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
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) |