Revision 6a1a01d2 src/modules.ml
src/modules.ml | ||
---|---|---|
82 | 82 |
in import ((typedef_of_top tydef).tydef_desc) |
83 | 83 |
|
84 | 84 |
let add_type itf name value = |
85 |
(*Format.eprintf "add_type %B %s %a (owner=%s)@." itf name Printers.pp_typedef (typedef_of_top value) value.top_decl_owner;*) |
|
85 |
(*Format.eprintf "Modules.add_type %B %s %a (owner=%s)@." itf name Printers.pp_typedef (typedef_of_top value) value.top_decl_owner;*)
|
|
86 | 86 |
try |
87 | 87 |
let value' = Hashtbl.find type_table (Tydec_const name) in |
88 | 88 |
let owner' = value'.top_decl_owner in |
Also available in: Unified diff