Assertion failed while compiling

[zoggy]

Hello,

With js_of_ocaml 2.8.2:

$ js_of_ocaml --pretty --noinline \
    --disable staticeval --disable share \
     +js_of_ocaml/nat.js test_js.js.byte -o test_js.js
js_of_ocaml: You found a bug. Please report it at https://github.com/ocsigen/js_of_ocaml/issues :
Error: File "generate.ml", line 1127, characters 8-14: Assertion failed

To reproduce, checkout current master of https://github.com/zoggy/xtmpl/ and:

make all
make test_js.js

Without --disable staticeval --disable share, execution of the produced javascript code raises a TypeError: _v0_ is not a function .

[hhugo]

Thanks, I will look into this. What version of ocaml do you use ?

[zoggy]

4.03.0.

[hhugo]

Can you send me your test_js.js.byte by any chance ?

[zoggy]

Sure.

[hhugo]

There are actually two issues here.

• I've fixed the issue related to --disable staticeval 9a8c297.
• TypeError: _v0_ is not a function only triggers with --noinline. I'm still looking

It runs without --noinline

node ~/test_js.js.js 
Xtmpl_xml.from_string ok => <div><div class="json-button" onclick="callParamsJSONFromForm(&apos;test&apos;)">json</div><div class="dmw-delayed" id="dynamowbloc__1"> ⌚ </div><form action="http://localhost:8080/services/test" id="test" onsubmit="return service_form_onsubmit(&quot;test&quot;);" parameters="test.formula" target_id="dynamowbloc__1"><input name="service" type="hidden" value="test"/><input name="ctx" type="hidden" value="[[[&quot;Service_path&quot;],[&quot;Sid_path&quot;,[&quot;test&quot;]]],[[&quot;KCounters&quot;],[&quot;Counters&quot;,[[[&quot;equation&quot;,{&quot;pred&quot;:&quot;dynamowbloc__1&quot;,&quot;succ&quot;:&quot;dynamowbloc__1_out&quot;}],[&quot;section&quot;,{&quot;pred&quot;:&quot;dynamowbloc__1&quot;,&quot;succ&quot;:&quot;dynamowbloc__1_out&quot;}]],&quot;dynamowbloc__1&quot;]]],[[&quot;Section_path&quot;],[&quot;Path&quot;,[]]]]"/><label for="test.formula">formula = </label><input id="test.formula" name="formula" title="formula" type="text" value="diff(x.x.x.x, x)"/><input id="" type="submit"/></form></div>

[zoggy]

Thanks !

[hhugo]

Can you try with https://github.com/ocsigen/js_of_ocaml/tree/fix531

[zoggy]

Xtmpl example runs fine now, thanks. By the way, installing github 1.0.0 package with opam and current master of js_of_ocaml leads to:

+ /home/zoggy/.opam/4.03.0/bin/ocamlfind ocamlc -c -g -annot -bin-annot -principal -strict-sequence -I lib -I unix -I js -package atdgen -package bytes -package cmdliner -package cohttp -package cohttp.js -package cohttp.lwt -package cohttp.lwt-core -package js_of_ocaml -syntax camlp4o -package js_of_ocaml.syntax -package lwt -syntax camlp4o -package lwt.syntax -package lwt.unix -package stringext -package uri -package yojson -w @5@8@10@11@12@14@23@24@26@29 -I lib_test -I js -I lib -I unix -o lib_test/test_javascript.cmo lib_test/test_javascript.ml
# Fatal error: out of memory.
# Command exited with code 2.