diff options
| author | Pierre-Marie Pédrot | 2020-10-15 15:14:23 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-10-15 15:14:23 +0200 |
| commit | 4bf43453ec5f635ae87a2edeb4f51d95f2d5ac67 (patch) | |
| tree | ce78494f5923cdde51c7a3ba4acf0133b1640bfe /pretyping/pretype_errors.ml | |
| parent | fc0ee016b2bbffd73c5a9aa7784f2c255f80d39d (diff) | |
| parent | 34e1aeef7718dd3042ef22cd1ded9d9eb65cfd87 (diff) | |
Merge PR #13181: Guard unify_leq_delay calls in Typing
Reviewed-by: ppedrot
Diffstat (limited to 'pretyping/pretype_errors.ml')
| -rw-r--r-- | pretyping/pretype_errors.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/pretype_errors.ml b/pretyping/pretype_errors.ml index 1e8441dd8a..1dddc5622d 100644 --- a/pretyping/pretype_errors.ml +++ b/pretyping/pretype_errors.ml @@ -48,7 +48,7 @@ type pretype_error = | CannotUnifyBindingType of constr * constr | CannotGeneralize of constr | NoOccurrenceFound of constr * Id.t option - | CannotFindWellTypedAbstraction of constr * constr list * (env * type_error) option + | CannotFindWellTypedAbstraction of constr * constr list * (env * pretype_error) option | WrongAbstractionType of Name.t * constr * types * types | AbstractionOverMeta of Name.t * Name.t | NonLinearUnification of Name.t * constr |