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