diff options
| author | Leo White <leo@lpw25.net> | 2019-03-01 16:33:05 +0000 |
|---|---|---|
| committer | Leo White <leo@lpw25.net> | 2021-07-13 17:56:36 +0100 |
| commit | 8f9b7667abe5c780545851c30108d6719fddcf30 (patch) | |
| tree | 9086d363e84af435c3270660af3bdbd630c1f1d1 /typing/typeclass.mli | |
| parent | e6aa05bf939453005ca75288dc6f3743aea691fb (diff) | |
| download | ocaml-8f9b7667abe5c780545851c30108d6719fddcf30.tar.gz | |
Remove private_self and public_self
Now that private methods are stored in the method table there is
no need to distinguish `private_self`, `public_self` and `self_type`
in `Typeclass.class_structure`. This required extending
`Ctype.filter_method` to handle the case of filtering a private method
from a closed object type -- which brings the function into line with
the equivalent call to `Ctype.unify`.
Diffstat (limited to 'typing/typeclass.mli')
| -rw-r--r-- | typing/typeclass.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index 42a764e812..38b3c46698 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -95,6 +95,7 @@ type kind = type error = | Unconsistent_constraint of Errortrace.unification_error | Field_type_mismatch of string * string * Errortrace.unification_error + | Unexpected_field of type_expr * string | Structure_expected of class_type | Cannot_apply of class_type | Apply_wrong_label of arg_label |