summaryrefslogtreecommitdiff
path: root/test/testinterp/t192-getfloatfield-1.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/testinterp/t192-getfloatfield-1.ml')
-rw-r--r--test/testinterp/t192-getfloatfield-1.ml23
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
-**)