<div dir="ltr">In testing library support I&#39;ve run into what appears to be a bug in the bytecode codegen. You can see this problem for yourself (only on amd64) with:<br>&nbsp; cd regression/library<br>&nbsp; ./library-test -codegen bytecode -debug true -keep g<br>
<br>The check program will segfault. Tracing it with gdb reveals that check.sml calls &#39;checkconfirmC&#39;<br></div>