Evil solution to the problem of importing the same opaque from two different files. Closes #145.
This commit is contained in:
parent
abe307cf45
commit
176899a970
@ -2795,6 +2795,7 @@ let rec extract_meta
|
|||||||
queue_to_arr meta
|
queue_to_arr meta
|
||||||
;;
|
;;
|
||||||
|
|
||||||
|
let external_opaques = Hashtbl.create 0;;
|
||||||
|
|
||||||
let rec extract_mod_items
|
let rec extract_mod_items
|
||||||
(nref:node_id ref)
|
(nref:node_id ref)
|
||||||
@ -2816,7 +2817,6 @@ let rec extract_mod_items
|
|||||||
id
|
id
|
||||||
in
|
in
|
||||||
|
|
||||||
let external_opaques = Hashtbl.create 0 in
|
|
||||||
let get_opaque_of o =
|
let get_opaque_of o =
|
||||||
htab_search_or_add external_opaques o
|
htab_search_or_add external_opaques o
|
||||||
(fun _ -> next_opaque_id())
|
(fun _ -> next_opaque_id())
|
||||||
|
Loading…
Reference in New Issue
Block a user