diff options
Diffstat (limited to 'test/testinterp/t190-makefloatblock-3.ml')
| -rw-r--r-- | test/testinterp/t190-makefloatblock-3.ml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/test/testinterp/t190-makefloatblock-3.ml b/test/testinterp/t190-makefloatblock-3.ml deleted file mode 100644 index cebccaa38d..0000000000 --- a/test/testinterp/t190-makefloatblock-3.ml +++ /dev/null @@ -1,19 +0,0 @@ -open Lib;; -let x = 0.0 in [| x; x; x |];; - -(** - 0 CONSTINT 42 - 2 PUSHACC0 - 3 MAKEBLOCK1 0 - 5 POP 1 - 7 SETGLOBAL Lib - 9 GETGLOBAL 0 - 11 PUSHACC0 - 12 PUSHACC1 - 13 PUSHACC2 - 14 MAKEFLOATBLOCK 3 - 16 POP 1 - 18 ATOM0 - 19 SETGLOBAL T190-makefloatblock-3 - 21 STOP -**) |