2025/09/30

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 +0200fp(~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 +0200trickard_trickard
2025-09-30 17:11:15 +0200jle`(~jle`@2603:8001:3b00:11::1156) jle`
2025-09-30 17:10:18 +0200jle`(~jle`@2603:8001:3b00:11::1156) (Ping timeout: 252 seconds)
2025-09-30 17:07:01 +0200Zemy(~Zemy@2600:100c:b0ac:590:687f:7eff:fe1b:d560)
2025-09-30 17:03:40 +0200Zemy(~Zemyla@2600:100c:b0ac:590:687f:7eff:fe1b:d560) (Client Quit)
2025-09-30 17:02:35 +0200ZemylaZemy
2025-09-30 17:02:18 +0200Zemyla(~Zemyla@2600:100c:b0ac:590:687f:7eff:fe1b:d560)
2025-09-30 16:59:03 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-30 16:58:49 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-30 16:50:57 +0200ftzm(~ftzm@085080238191.dynamic.telenor.dk) ftzm
2025-09-30 16:49:18 +0200Athas(athas@sigkill.dk)
2025-09-30 16:47:14 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-30 16:47:01 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-30 16:44:51 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-09-30 16:44:29 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds)
2025-09-30 16:42:19 +0200ftzm(~ftzm@085080224053.dynamic.telenor.dk) (Ping timeout: 250 seconds)
2025-09-30 16:34:04 +0200poscat(~poscat@user/poscat) poscat
2025-09-30 16:31:23 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-09-30 16:30:53 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-09-30 16:30:40 +0200Athas(athas@sigkill.dk) (Quit: ZNC 1.9.1 - https://znc.in)
2025-09-30 16:27:33 +0200craunts79(~craunts@136.158.7.194)
2025-09-30 16:23:11 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-09-30 16:20:28 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-09-30 16:09:39 +0200mange(~mange@user/mange) (Quit: Zzz...)
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)