adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
brettgilio has joined #ocaml
rgherdt has quit [Ping timeout: 276 seconds]
<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]
parcs has joined #ocaml
j9m has quit [Quit: ZNC 1.7.1 - https://znc.in]
oni-on-ion has quit [Read error: Connection reset by peer]
j9m has joined #ocaml
vicfred has joined #ocaml
gravicappa has joined #ocaml
ygrek__ has quit [Ping timeout: 276 seconds]
_whitelogger has joined #ocaml
dborisog has quit [Ping timeout: 276 seconds]
kgop has joined #ocaml
dborisog has joined #ocaml
tane_ has joined #ocaml
narimiran has joined #ocaml
bitwinery has quit [Quit: Leaving]
ziyourenxiang has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
kakadu_ has joined #ocaml
mal`` has quit [Quit: Leaving]
ravenousmoose has joined #ocaml
mal`` has joined #ocaml
ggole has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
sarna has quit [Quit: bye]
sarna has joined #ocaml
Haudegen has joined #ocaml
rgherdt has joined #ocaml
kleisli has quit [Ping timeout: 276 seconds]
mfp has joined #ocaml
jnavila has joined #ocaml
narimiran has quit [Ping timeout: 265 seconds]
Anarchos has joined #ocaml
jao has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Nahra has joined #ocaml
jao has quit [Ping timeout: 265 seconds]
_whitelogger has joined #ocaml
narimiran has joined #ocaml
vesper11 has quit [Quit: ZNC 1.7.4 - https://znc.in]
vesper11 has joined #ocaml
FreeBirdLjj has joined #ocaml
kleisli has joined #ocaml
vesper11 has quit [Read error: Connection reset by peer]
vesper11 has joined #ocaml
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
dborisog has quit [Ping timeout: 240 seconds]
Nahra has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<companion_cube> so weird :/
FreeBirdLjj has quit [Ping timeout: 276 seconds]
<companion_cube> so is there a way to reliably test that?
<ggole> No assertion for me for ocamlc, but one for ocamlopt (4.07.1)
Serpent7776 has joined #ocaml
<ggole> I can remove the ocamlopt assertion by making v escape (eg, ignore (Sys.opaque_identity v))
jnavila has quit [Ping timeout: 276 seconds]
Anarchos has joined #ocaml
ziyourenxiang has quit [Ping timeout: 252 seconds]
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
zolk3ri has joined #ocaml
oxford has quit [Remote host closed the connection]
oxford has joined #ocaml
brettgilio has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
jao is now known as Guest22630
vesper11 has quit [Read error: Connection reset by peer]
vesper11 has joined #ocaml
Serpent7776 has quit [Quit: Lost terminal]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
jnavila has joined #ocaml
ggole has quit [Quit: Leaving]
brettgilio has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
bitwinery has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
oni-on-ion has joined #ocaml
stux|RC-only has quit [Quit: Aloha!]
stux|RC-only has joined #ocaml
stux|RC-only has quit [Read error: Connection reset by peer]
kjak has quit [Quit: Lost terminal]
kjak has joined #ocaml
stux|RC-only has joined #ocaml
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has quit [Remote host closed the connection]
narimiran has quit [Ping timeout: 276 seconds]
tane_ has quit [Quit: Leaving]
Tsukimaru has joined #ocaml
ygrek__ has joined #ocaml
unyu has quit [Remote host closed the connection]
kakadu_ has quit [Remote host closed the connection]
unyu has joined #ocaml
Tsukimaru has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
Haudegen has quit [Ping timeout: 276 seconds]
kleisli has quit [Ping timeout: 246 seconds]