|
@@ -809,10 +809,7 @@ let load_module' ctx g m p =
|
|
loop ctx.com.load_extern_type
|
|
loop ctx.com.load_extern_type
|
|
in
|
|
in
|
|
let is_extern = !is_extern in
|
|
let is_extern = !is_extern in
|
|
- try
|
|
|
|
- type_module ctx m file ~is_extern decls p
|
|
|
|
- with Forbid_package (inf,pl,pf) when p <> null_pos ->
|
|
|
|
- raise (Forbid_package (inf,p::pl,pf))
|
|
|
|
|
|
+ type_module ctx m file ~is_extern decls p
|
|
|
|
|
|
let load_module ctx m p =
|
|
let load_module ctx m p =
|
|
let m2 = load_module' ctx ctx.g m p in
|
|
let m2 = load_module' ctx ctx.g m p in
|