<def`>
companion_cube: for me the assert error is on line 6, the element is collected
<zozozo>
companion_cube: i don't get any assertion failure on my machine with your code, :/
<zozozo>
in any case, while i think that the first assert is indeed correct (v being live, the string stored in the weak array is also live), I don't remember that the compiler makes any guarantees about when an unreachable value is effectively erased
<zozozo>
hence, the second assert may or may not trigger an Assertion_failure and it would still be correct wrt to the specification as far as i understand it
<def`>
zozozo: for me (ocamlopt 4.08.1), v is determined to not escape its lexical scope, hence it is not compiled as a reference but directly as a register
<def`>
thus, liveness analysis tells that the line (v := []) has no effect, and the list collected at the first call to Gc.full_major(), and the first assertion fails
<zozozo>
Interesting, ^^
Guest92279 has quit [Ping timeout: 265 seconds]
kleisli has quit [Ping timeout: 276 seconds]
brettgilio has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: Bin weg.]
kleisli has joined #ocaml
mfp has quit [Ping timeout: 265 seconds]
brettgilio has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 250 seconds]
dborisog has joined #ocaml
Nahra has quit [Quit: leaving]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
parcs has quit [Remote host closed the connection]