Revision 01c7d5e1 src/access.ml
src/access.ml | ||
---|---|---|
71 | 71 |
| Expr_when (e1,_,_) -> check_expr checks e1 |
72 | 72 |
|
73 | 73 |
| Expr_merge (_,hl) -> List.fold_left (fun checks (l, h) -> check_expr checks h) checks hl |
74 |
| _ -> assert false |
|
75 | 74 |
in (*Format.eprintf "typing %B %a at %a = %a@." const Printers.pp_expr expr Location.pp_loc expr.expr_loc Types.print_ty res;*) res |
76 | 75 |
|
77 | 76 |
let rec check_var_decl_type loc checks ty = |
... | ... | |
90 | 89 |
let check_node nd = |
91 | 90 |
let checks = CSet.empty in |
92 | 91 |
let checks = |
93 |
List.fold_left check_var_decl checks (node_vars nd) in |
|
92 |
List.fold_left check_var_decl checks (get_node_vars nd) in
|
|
94 | 93 |
let checks = |
95 | 94 |
List.fold_left (fun checks eq -> check_expr checks eq.eq_rhs) checks nd.node_eqs in |
96 | 95 |
nd.node_checks <- CSet.elements checks |
Also available in: Unified diff