summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/testsuite/tests/tool-ocaml/t253-offsetclosure0.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/tool-ocaml/t253-offsetclosure0.ml')
-rw-r--r--ocaml-binary-annot/testsuite/tests/tool-ocaml/t253-offsetclosure0.ml34
1 files changed, 34 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/tool-ocaml/t253-offsetclosure0.ml b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t253-offsetclosure0.ml
new file mode 100644
index 0000000000..f6d12c6db0
--- /dev/null
+++ b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t253-offsetclosure0.ml
@@ -0,0 +1,34 @@
+open Lib;;
+let rec f _ = g f
+ and g _ = 10
+in
+if f 3 <> 10 then raise Not_found
+;;
+
+(**
+ 0 CONSTINT 42
+ 2 PUSHACC0
+ 3 MAKEBLOCK1 0
+ 5 POP 1
+ 7 SETGLOBAL Lib
+ 9 BRANCH 19
+ 11 OFFSETCLOSURE0
+ 12 PUSHOFFSETCLOSURE2
+ 13 APPTERM1 2
+ 15 CONSTINT 10
+ 17 RETURN 1
+ 19 CLOSUREREC 0, 11, 15
+ 24 CONSTINT 10
+ 26 PUSHCONST3
+ 27 PUSHACC3
+ 28 APPLY1
+ 29 NEQ
+ 30 BRANCHIFNOT 37
+ 32 GETGLOBAL Not_found
+ 34 MAKEBLOCK1 0
+ 36 RAISE
+ 37 POP 2
+ 39 ATOM0
+ 40 SETGLOBAL T253-offsetclosure0
+ 42 STOP
+**)