diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2023-04-25 16:14:05 +0200 |
---|---|---|
committer | Florian Angeletti <florian.angeletti@inria.fr> | 2023-04-25 16:14:05 +0200 |
commit | 01e1f49ba1eae97b9a112b68bc154f564c3ca37d (patch) | |
tree | ba82d9144aa3d7ecd15c2cf9bccd60784fece1a9 | |
parent | 6be361ffd75a2fce5f4daa21fd5073b9a18ce31c (diff) | |
download | ocaml-01e1f49ba1eae97b9a112b68bc154f564c3ca37d.tar.gz |
remove unused constructor: Unbound_row_variable
-rw-r--r-- | typing/typetexp.ml | 5 | ||||
-rw-r--r-- | typing/typetexp.mli | 1 |
2 files changed, 0 insertions, 6 deletions
diff --git a/typing/typetexp.ml b/typing/typetexp.ml index 3316933700..ab20777e15 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -33,7 +33,6 @@ type error = | Type_arity_mismatch of Longident.t * int * int | Bound_type_variable of string | Recursive_type - | Unbound_row_variable of Longident.t | Type_mismatch of Errortrace.unification_error | Alias_type_mismatch of Errortrace.unification_error | Present_has_conjunction of string @@ -837,10 +836,6 @@ let report_error env ppf = function fprintf ppf "Already bound type parameter %a" Pprintast.tyvar name | Recursive_type -> fprintf ppf "This type is recursive" - | Unbound_row_variable lid -> - (* we don't use "spellcheck" here: this error is not raised - anywhere so it's unclear how it should be handled *) - fprintf ppf "Unbound row variable in #%a" longident lid | Type_mismatch trace -> Printtyp.report_unification_error ppf Env.empty trace (function ppf -> diff --git a/typing/typetexp.mli b/typing/typetexp.mli index ca058a5cf0..fb2eda068f 100644 --- a/typing/typetexp.mli +++ b/typing/typetexp.mli @@ -73,7 +73,6 @@ type error = | Type_arity_mismatch of Longident.t * int * int | Bound_type_variable of string | Recursive_type - | Unbound_row_variable of Longident.t | Type_mismatch of Errortrace.unification_error | Alias_type_mismatch of Errortrace.unification_error | Present_has_conjunction of string |