diff options
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml')
| -rw-r--r-- | ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml b/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml new file mode 100644 index 0000000000..bd980f1022 --- /dev/null +++ b/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml @@ -0,0 +1,17 @@ + Dynlink.init (); + Dynlink.allow_unsafe_modules true; + for i = 1 to Array.length Sys.argv - 1 do + let name = Sys.argv.(i) in + Printf.printf "Loading %s\n" name; flush stdout; + try + if name.[0] = '-' + then Dynlink.loadfile_private + (String.sub name 1 (String.length name - 1)) + else Dynlink.loadfile name + with + | Dynlink.Error err -> + Printf.printf "Dynlink error: %s\n" + (Dynlink.error_message err) + | exn -> + Printf.printf "Error: %s\n" (Printexc.to_string exn) + done |
