Project

General

Profile

Revision 6efbcb73 src/typing.ml

View differences:

src/typing.ml
745 745

  
746 746
let check_typedef_top decl =
747 747
(*Format.eprintf "check_typedef %a@." Printers.pp_short_decl decl;*)
748
(*Printers.pp_var_type_dec_desc (typedef_of_top decl).tydef_id*)
748
(*Format.eprintf "%a" Printers.pp_typedef (typedef_of_top decl);*)
749 749
(*Format.eprintf "%a" Corelang.print_type_table ();*)
750 750
  match decl.top_decl_desc with
751 751
  | TypeDef ty ->
......
755 755
       try Hashtbl.find type_table (Tydec_const (typedef_of_top decl).tydef_id)
756 756
       with Not_found -> raise (Error (decl.top_decl_loc, Declared_but_undefined ("type "^ ty.tydef_id))) in
757 757
     let owner' = decl'.top_decl_owner in
758
(*Format.eprintf "def owner = %s@.decl owner = %s@." owner' owner;*)
758 759
     let itf' = decl'.top_decl_itf in
759 760
     (match decl'.top_decl_desc with
760 761
     | Const _ | Node _ | ImportedNode _ -> assert false

Also available in: Unified diff