summaryrefslogtreecommitdiff
path: root/test/testinterp/t260-offsetref.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/testinterp/t260-offsetref.ml')
-rw-r--r--test/testinterp/t260-offsetref.ml31
1 files changed, 0 insertions, 31 deletions
diff --git a/test/testinterp/t260-offsetref.ml b/test/testinterp/t260-offsetref.ml
deleted file mode 100644
index 968892ef11..0000000000
--- a/test/testinterp/t260-offsetref.ml
+++ /dev/null
@@ -1,31 +0,0 @@
-open Lib;;
-let x = ref 32 in
-incr x;
-if !x <> 33 then raise Not_found;
-x
-;;
-
-(**
- 0 CONSTINT 42
- 2 PUSHACC0
- 3 MAKEBLOCK1 0
- 5 POP 1
- 7 SETGLOBAL Lib
- 9 CONSTINT 32
- 11 MAKEBLOCK1 0
- 13 PUSHACC0
- 14 OFFSETREF 1
- 16 CONSTINT 33
- 18 PUSHACC1
- 19 GETFIELD0
- 20 NEQ
- 21 BRANCHIFNOT 28
- 23 GETGLOBAL Not_found
- 25 MAKEBLOCK1 0
- 27 RAISE
- 28 ACC0
- 29 POP 1
- 31 ATOM0
- 32 SETGLOBAL T260-offsetref
- 34 STOP
-**)