diff options
Diffstat (limited to 'test/testinterp/t240-c_call1.ml')
-rw-r--r-- | test/testinterp/t240-c_call1.ml | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/test/testinterp/t240-c_call1.ml b/test/testinterp/t240-c_call1.ml deleted file mode 100644 index 3c7508cbc0..0000000000 --- a/test/testinterp/t240-c_call1.ml +++ /dev/null @@ -1,21 +0,0 @@ -open Lib;; -if Pervasives.int_of_string "123" <> 123 then raise Not_found;; - -(** - 0 CONSTINT 42 - 2 PUSHACC0 - 3 MAKEBLOCK1 0 - 5 POP 1 - 7 SETGLOBAL Lib - 9 CONSTINT 123 - 11 PUSHGETGLOBAL "123" - 13 C_CALL1 int_of_string - 15 NEQ - 16 BRANCHIFNOT 23 - 18 GETGLOBAL Not_found - 20 MAKEBLOCK1 0 - 22 RAISE - 23 ATOM0 - 24 SETGLOBAL T240-c_call1 - 26 STOP -**) |