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 /typing/typetexp.mli | |
| 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
Diffstat (limited to 'typing/typetexp.mli')
| -rw-r--r-- | typing/typetexp.mli | 1 |
1 files changed, 0 insertions, 1 deletions
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 |