diff options
Diffstat (limited to 'test/testinterp/t192-getfloatfield-1.ml')
| -rw-r--r-- | test/testinterp/t192-getfloatfield-1.ml | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/test/testinterp/t192-getfloatfield-1.ml b/test/testinterp/t192-getfloatfield-1.ml deleted file mode 100644 index ba002b20b1..0000000000 --- a/test/testinterp/t192-getfloatfield-1.ml +++ /dev/null @@ -1,23 +0,0 @@ -open Lib;; -type t = { a : float; b : float };; - -if { a = 0.1; b = 0.2 }.a <> 0.1 then raise Not_found;; - -(** - 0 CONSTINT 42 - 2 PUSHACC0 - 3 MAKEBLOCK1 0 - 5 POP 1 - 7 SETGLOBAL Lib - 9 GETGLOBAL 0.1 - 11 PUSHGETGLOBAL [|0.1, 0.2|] - 13 GETFLOATFIELD 0 - 15 C_CALL2 neq_float - 17 BRANCHIFNOT 24 - 19 GETGLOBAL Not_found - 21 MAKEBLOCK1 0 - 23 RAISE - 24 ATOM0 - 25 SETGLOBAL T192-getfloatfield-1 - 27 STOP -**) |
