Project

General

Profile

Revision 3c3414c5 src/typing.ml

View differences:

src/typing.ml
599 599
 | Tydec_clock ty
600 600
 | Tydec_array (_, ty) -> check_type_declaration loc ty
601 601
 | Tydec_const tname   ->
602
    Format.printf "TABLE: %a@." print_type_table ();
603
   (* TODO REMOVE *)
604
   if not (Hashtbl.mem type_table cty)
605
   then raise (Error (loc, Unbound_type tname));
602
    (* Format.eprintf "TABLE: %a@." print_type_table (); *)
603
    if not (Hashtbl.mem type_table cty)
604
    then raise (Error (loc, Unbound_type tname));
606 605
 | _                   -> ()
607 606

  
608 607
let type_var_decl vd_env env vdecl =

Also available in: Unified diff