diff options
Diffstat (limited to 'typing/typedecl.mli')
| -rw-r--r-- | typing/typedecl.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/typing/typedecl.mli b/typing/typedecl.mli index e5e723b760..cab8dc52a5 100644 --- a/typing/typedecl.mli +++ b/typing/typedecl.mli @@ -42,8 +42,10 @@ val check_recmod_typedecl: (* for typeclass.ml *) val compute_variance_decls: Env.t -> - ((Ident.t * type_declaration) * ((bool * bool) list * Location.t)) list -> - (Ident.t * type_declaration) list + (Ident.t * type_declaration * type_declaration * class_declaration * + cltype_declaration * ((bool * bool) list * Location.t)) list -> + (type_declaration * type_declaration * class_declaration * + cltype_declaration) list type error = Repeated_parameter |