summaryrefslogtreecommitdiff
path: root/test/testinterp/t200-getfield2.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/testinterp/t200-getfield2.ml')
-rw-r--r--test/testinterp/t200-getfield2.ml27
1 files changed, 0 insertions, 27 deletions
diff --git a/test/testinterp/t200-getfield2.ml b/test/testinterp/t200-getfield2.ml
deleted file mode 100644
index df5c7172d0..0000000000
--- a/test/testinterp/t200-getfield2.ml
+++ /dev/null
@@ -1,27 +0,0 @@
-open Lib;;
-type t = {
- a : int;
- b : int;
- c : int;
-};;
-
-if { a = 7; b = 6; c = 5 }.c <> 5 then raise Not_found;;
-
-(**
- 0 CONSTINT 42
- 2 PUSHACC0
- 3 MAKEBLOCK1 0
- 5 POP 1
- 7 SETGLOBAL Lib
- 9 CONSTINT 5
- 11 PUSHGETGLOBAL <0>(7, 6, 5)
- 13 GETFIELD2
- 14 NEQ
- 15 BRANCHIFNOT 22
- 17 GETGLOBAL Not_found
- 19 MAKEBLOCK1 0
- 21 RAISE
- 22 ATOM0
- 23 SETGLOBAL T200-getfield2
- 25 STOP
-**)