summaryrefslogtreecommitdiff
path: root/test/testinterp/t253-offsetclosure0.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/testinterp/t253-offsetclosure0.ml')
-rw-r--r--test/testinterp/t253-offsetclosure0.ml34
1 files changed, 0 insertions, 34 deletions
diff --git a/test/testinterp/t253-offsetclosure0.ml b/test/testinterp/t253-offsetclosure0.ml
deleted file mode 100644
index f6d12c6db0..0000000000
--- a/test/testinterp/t253-offsetclosure0.ml
+++ /dev/null
@@ -1,34 +0,0 @@
-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
-**)