dev-ml/camlp4/files/reload.patch


1
2
3
4
5
6
7
8
9
10
11
12
13

Index: camlp4-4.08-1/camlp4/Camlp4/Struct/DynLoader.ml
===================================================================
--- camlp4-4.08-1.orig/camlp4/Camlp4/Struct/DynLoader.ml
+++ camlp4-4.08-1/camlp4/Camlp4/Struct/DynLoader.ml
@@ -76,7 +76,7 @@ value load =
         [ Not_found -> raise (Error file "file not found in path") ]
       in
       try Dynlink.loadfile fname with
-      [ Dynlink.Error e -> raise (Error fname (Dynlink.error_message e)) ]
+      [ Dynlink.Error (Module_already_loaded _ ) -> () | Dynlink.Error e -> raise (Error fname (Dynlink.error_message e)) ]
     };