Revision 1eda3e78
Added by Xavier Thirioux almost 8 years ago
| src/typing.ml | ||
|---|---|---|
| 619 | 619 |
(fun uvs v -> IMap.add v.var_id () uvs) |
| 620 | 620 |
IMap.empty vd_env_ol in |
| 621 | 621 |
let undefined_vars = |
| 622 |
List.fold_left (type_eq (new_env, vd_env) is_main) undefined_vars_init nd.node_eqs
|
|
| 622 |
List.fold_left (type_eq (new_env, vd_env) is_main) undefined_vars_init (get_node_eqs nd)
|
|
| 623 | 623 |
in |
| 624 | 624 |
(* Typing asserts *) |
| 625 | 625 |
List.iter (fun assert_ -> |
Also available in: Unified diff
- work in progress for automata...