summaryrefslogtreecommitdiff
path: root/test/testinterp/t251-pushoffsetclosure0.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/testinterp/t251-pushoffsetclosure0.ml')
-rw-r--r--test/testinterp/t251-pushoffsetclosure0.ml39
1 files changed, 0 insertions, 39 deletions
diff --git a/test/testinterp/t251-pushoffsetclosure0.ml b/test/testinterp/t251-pushoffsetclosure0.ml
deleted file mode 100644
index b1c25555ea..0000000000
--- a/test/testinterp/t251-pushoffsetclosure0.ml
+++ /dev/null
@@ -1,39 +0,0 @@
-open Lib;;
-let rec f = function
- | 0 -> 13
- | n -> f 0
-in
-if f 5 <> 13 then raise Not_found
-;;
-
-(**
- 0 CONSTINT 42
- 2 PUSHACC0
- 3 MAKEBLOCK1 0
- 5 POP 1
- 7 SETGLOBAL Lib
- 9 BRANCH 24
- 11 CONST0
- 12 PUSHACC1
- 13 EQ
- 14 BRANCHIFNOT 20
- 16 CONSTINT 13
- 18 RETURN 1
- 20 CONST0
- 21 PUSHOFFSETCLOSURE0
- 22 APPTERM1 2
- 24 CLOSUREREC 0, 11
- 28 CONSTINT 13
- 30 PUSHCONSTINT 5
- 32 PUSHACC2
- 33 APPLY1
- 34 NEQ
- 35 BRANCHIFNOT 42
- 37 GETGLOBAL Not_found
- 39 MAKEBLOCK1 0
- 41 RAISE
- 42 POP 1
- 44 ATOM0
- 45 SETGLOBAL T251-pushoffsetclosure0
- 47 STOP
-**)