Project

General

Profile

Revision 70e1006b src/types.ml

View differences:

src/types.ml
163 163
      (Utils.fprintf_list ~sep:"," pp_print_string)
164 164
      (fst (Utils.list_of_imap vmap))
165 165
  | Declared_but_undefined id ->
166
     fprintf fmt "Node %s is declared but not defined@." id
166
     fprintf fmt "%s is declared but not defined@." id
167 167
  | Type_clash (ty1,ty2) ->
168 168
      Utils.reset_names ();
169 169
    fprintf fmt "Expected type %a, got type %a@." print_ty ty1 print_ty ty2

Also available in: Unified diff