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