New branch binary-annot by Fabrice Le Fessant from r10789

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/binary-annot@10790 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

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