summaryrefslogtreecommitdiff
path: root/test/testinterp/t092-pushacc.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/testinterp/t092-pushacc.ml')
-rw-r--r--test/testinterp/t092-pushacc.ml38
1 files changed, 0 insertions, 38 deletions
diff --git a/test/testinterp/t092-pushacc.ml b/test/testinterp/t092-pushacc.ml
deleted file mode 100644
index c21561ec04..0000000000
--- a/test/testinterp/t092-pushacc.ml
+++ /dev/null
@@ -1,38 +0,0 @@
-open Lib;;
-let x = false in
-let y = true in
-let z = true in
-let a = true in
-let b = true in
-let c = true in
-let d = true in
-let e = true in
-let f = true in
-if x then raise Not_found
-;;
-
-(**
- 0 CONSTINT 42
- 2 PUSHACC0
- 3 MAKEBLOCK1 0
- 5 POP 1
- 7 SETGLOBAL Lib
- 9 CONST0
- 10 PUSHCONST1
- 11 PUSHCONST1
- 12 PUSHCONST1
- 13 PUSHCONST1
- 14 PUSHCONST1
- 15 PUSHCONST1
- 16 PUSHCONST1
- 17 PUSHCONST1
- 18 PUSHACC 8
- 20 BRANCHIFNOT 27
- 22 GETGLOBAL Not_found
- 24 MAKEBLOCK1 0
- 26 RAISE
- 27 POP 9
- 29 ATOM0
- 30 SETGLOBAL T092-pushacc
- 32 STOP
-**)