Project

General

Profile

Revision b1655a21 src/types.ml

View differences:

src/types.ml
49 49
  | Assigned_constant of ident
50 50
  | WrongArity of int * int
51 51
  | WrongMorphism of int * int
52
  | Type_mismatch of ident
52 53
  | Type_clash of type_expr * type_expr
53 54
  | Poly_imported_node of ident
54 55

  
......
155 156
    fprintf fmt "Expecting %d argument(s), found %d@." ar1 ar2
156 157
  | WrongMorphism (ar1, ar2) ->
157 158
    fprintf fmt "Expecting %d argument(s) for homomorphic extension, found %d@." ar1 ar2
159
  | Type_mismatch id ->
160
    fprintf fmt "Definition and declaration of type %s don't agree@." id
158 161
  | Undefined_var vmap ->
159 162
    fprintf fmt "No definition provided for variable(s): %a@."
160 163
      (Utils.fprintf_list ~sep:"," pp_print_string)

Also available in: Unified diff