2
0
Эх сурвалжийг харах

[java] better java-lib error reporting

Caue Waneck 12 жил өмнө
parent
commit
67bf66b9e4
1 өөрчлөгдсөн 8 нэмэгдсэн , 2 устгасан
  1. 8 2
      genjava.ml

+ 8 - 2
genjava.ml

@@ -2740,10 +2740,16 @@ let add_java_lib com file =
             ctx.jtparams <- old_types;
             ret
       end
-    with JReader.Error_message msg ->
+    with
+    | JReader.Error_message msg ->
       if com.verbose then prerr_endline ("Class reader failed: " ^ msg);
       None
-      | _ -> None
+    | e ->
+      if com.verbose then begin
+        prerr_endline (Printexc.get_backtrace ());
+        prerr_endline (Printexc.to_string e)
+      end;
+      None
   in
   let build path p = build (create_ctx com) path p (ref [["java";"lang"], "String"]) in
   let cached_files = ref None in