diff options
Diffstat (limited to 'test/testinterp/t090-acc2.ml')
| -rw-r--r-- | test/testinterp/t090-acc2.ml | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/test/testinterp/t090-acc2.ml b/test/testinterp/t090-acc2.ml deleted file mode 100644 index 4865944938..0000000000 --- a/test/testinterp/t090-acc2.ml +++ /dev/null @@ -1,29 +0,0 @@ -open Lib;; -let x = true in -let y = false in -let z = false in -(); -if not x then raise Not_found -;; - -(** - 0 CONSTINT 42 - 2 PUSHACC0 - 3 MAKEBLOCK1 0 - 5 POP 1 - 7 SETGLOBAL Lib - 9 CONST1 - 10 PUSHCONST0 - 11 PUSHCONST0 - 12 PUSHCONST0 - 13 ACC2 - 14 BOOLNOT - 15 BRANCHIFNOT 22 - 17 GETGLOBAL Not_found - 19 MAKEBLOCK1 0 - 21 RAISE - 22 POP 3 - 24 ATOM0 - 25 SETGLOBAL T090-acc2 - 27 STOP -**) |
