Revision 333e3a25
Added by Pierre-Loïc Garoche over 5 years ago
| src/typing.ml | ||
|---|---|---|
| 562 | 562 |
| Tydec_clock ty |
| 563 | 563 |
| Tydec_array (_, ty) -> check_type_declaration loc ty |
| 564 | 564 |
| Tydec_const tname -> |
| 565 |
Format.printf "TABLE: %a@." print_type_table (); |
|
| 566 |
(* TODO REMOVE *) |
|
| 565 | 567 |
if not (Hashtbl.mem type_table cty) |
| 566 | 568 |
then raise (Error (loc, Unbound_type tname)); |
| 567 | 569 |
| _ -> () |
| ... | ... | |
| 622 | 624 |
(fun uvs v -> ISet.add v.var_id uvs) |
| 623 | 625 |
ISet.empty vd_env_ol in |
| 624 | 626 |
let undefined_vars = |
| 625 |
List.fold_left (type_eq (new_env, vd_env) is_main) undefined_vars_init (get_node_eqs nd) |
|
| 627 |
let eqs, auts = get_node_eqs nd in |
|
| 628 |
(* TODO XXX: il faut typer les handlers de l'automate *) |
|
| 629 |
List.fold_left (type_eq (new_env, vd_env) is_main) undefined_vars_init eqs |
|
| 626 | 630 |
in |
| 627 | 631 |
(* Typing asserts *) |
| 628 | 632 |
List.iter (fun assert_ -> |
Also available in: Unified diff
[general] Refactor get_node_eqs to produce (eqs, auts) with automatons