diff options
Diffstat (limited to 'test/testinterp/t253-offsetclosure2.ml')
| -rw-r--r-- | test/testinterp/t253-offsetclosure2.ml | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/test/testinterp/t253-offsetclosure2.ml b/test/testinterp/t253-offsetclosure2.ml deleted file mode 100644 index be940611fe..0000000000 --- a/test/testinterp/t253-offsetclosure2.ml +++ /dev/null @@ -1,34 +0,0 @@ -open Lib;; -let rec f _ = g - and g _ = 10 -in -if f 3 4 <> 10 then raise Not_found -;; - -(** - 0 CONSTINT 42 - 2 PUSHACC0 - 3 MAKEBLOCK1 0 - 5 POP 1 - 7 SETGLOBAL Lib - 9 BRANCH 18 - 11 OFFSETCLOSURE2 - 12 RETURN 1 - 14 CONSTINT 10 - 16 RETURN 1 - 18 CLOSUREREC 0, 11, 14 - 23 CONSTINT 10 - 25 PUSHCONSTINT 4 - 27 PUSHCONST3 - 28 PUSHACC4 - 29 APPLY2 - 30 NEQ - 31 BRANCHIFNOT 38 - 33 GETGLOBAL Not_found - 35 MAKEBLOCK1 0 - 37 RAISE - 38 POP 2 - 40 ATOM0 - 41 SETGLOBAL T253-offsetclosure2 - 43 STOP -**) |
