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