summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/testsuite/tests/tool-ocaml/t250-closurerec-1.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/tool-ocaml/t250-closurerec-1.ml')
-rw-r--r--ocaml-binary-annot/testsuite/tests/tool-ocaml/t250-closurerec-1.ml19
1 files changed, 19 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/tool-ocaml/t250-closurerec-1.ml b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t250-closurerec-1.ml
new file mode 100644
index 0000000000..ded5036e69
--- /dev/null
+++ b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t250-closurerec-1.ml
@@ -0,0 +1,19 @@
+open Lib;;
+let rec f _ = 0;;
+
+(**
+ 0 CONSTINT 42
+ 2 PUSHACC0
+ 3 MAKEBLOCK1 0
+ 5 POP 1
+ 7 SETGLOBAL Lib
+ 9 BRANCH 14
+ 11 CONST0
+ 12 RETURN 1
+ 14 CLOSUREREC 0, 11
+ 18 ACC0
+ 19 MAKEBLOCK1 0
+ 21 POP 1
+ 23 SETGLOBAL T250-closurerec-1
+ 25 STOP
+**)