Project

General

Profile

Revision 0b78e972 src/types.ml

View differences:

src/types.ml
51 51
  | Already_bound of ident
52 52
  | Already_defined of ident
53 53
  | Undefined_var of (unit IMap.t)
54
  | Declared_but_undefined of ident
54 55
  | Unbound_type of ident
55 56
  | Not_a_dimension
56 57
  | Not_a_constant
......
106 107
  fprintf fmt "%a : %a" pp_print_string label print_node_ty ty
107 108
and print_node_ty fmt ty =
108 109
  match ty.tdesc with
110
  | Tvar -> begin
111
Format.eprintf "DEBUG:Types.print_node@.";
112
    fprintf fmt "_%s" (name_of_type ty.tid)
113
end
109 114
  | Tint ->
110 115
    fprintf fmt "int"
111 116
  | Treal ->
......
158 163
    fprintf fmt "No definition provided for variable(s): %a@."
159 164
      (Utils.fprintf_list ~sep:"," pp_print_string)
160 165
      (fst (Utils.list_of_imap vmap))
166
  | Declared_but_undefined id ->
167
     fprintf fmt "Node %s is declared but not defined@." id
161 168
  | Type_clash (ty1,ty2) ->
162 169
      Utils.reset_names ();
163 170
    fprintf fmt "Expected type %a, got type %a@." print_ty ty1 print_ty ty2

Also available in: Unified diff