diff options
Diffstat (limited to 'test/testinterp/t200-getfield2.ml')
| -rw-r--r-- | test/testinterp/t200-getfield2.ml | 27 |
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 -**) |
