Project

General

Profile

Revision 54d032f5 src/modules.ml

View differences:

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