Project

General

Profile

Revision 01c7d5e1 src/access.ml

View differences:

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