diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-25 18:35:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-25 18:35:17 +0200 |
commit | 69472048a0d1782d2b773561588339136a8cf5b6 (patch) | |
tree | baa5fe809a42a3971681671826383807d9750985 | |
parent | 0a7c5fe35f4be2ea5c834b586fb5e947bd952377 (diff) | |
parent | 01e1f49ba1eae97b9a112b68bc154f564c3ca37d (diff) | |
download | ocaml-69472048a0d1782d2b773561588339136a8cf5b6.tar.gz |
Merge pull request #12206 from Octachron/remove_unused_error
remove unused error 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 |