CristalCaveGem » LustreC

  | Expr_when (e1,_,_) -> check_expr checks e1

  | Expr_merge (_,hl) -> List.fold_left (fun checks (l, h) -> check_expr checks h) checks hl

  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

let rec check_var_decl_type loc checks ty =

let check_node nd =

  let checks = CSet.empty in

  let checks =

  let checks =

    List.fold_left (fun checks eq -> check_expr checks eq.eq_rhs) checks nd.node_eqs in

  nd.node_checks <- CSet.elements checks