Revision 3c3414c5
Added by Pierre-Loïc Garoche over 5 years ago
| 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
Solved issue with typing of enumerated types