Project

General

Profile

Revision 1eda3e78 src/typing.ml

View differences:

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