summaryrefslogtreecommitdiff
path: root/typing/typeclass.mli
diff options
context:
space:
mode:
authorLeo White <leo@lpw25.net>2019-03-12 16:09:44 +0000
committerLeo White <leo@lpw25.net>2021-07-15 13:48:40 +0100
commitf7e6b79738ef75ebb26f6cf88e3fbde1bb3799d6 (patch)
tree9f5c4084f92543ad9e98608e2b424d870ae35a4b /typing/typeclass.mli
parentb7ef616ff79948daaca642eeb3b51f61d8f31ae4 (diff)
downloadocaml-f7e6b79738ef75ebb26f6cf88e3fbde1bb3799d6.tar.gz
Keep class signature row up-to-date
Keep the csig_self_row field up-to-date as we add new methods. This seems more correct and should be slightly more efficient in the common case.
Diffstat (limited to 'typing/typeclass.mli')
-rw-r--r--typing/typeclass.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli
index 38b3c46698..bf89e44648 100644
--- a/typing/typeclass.mli
+++ b/typing/typeclass.mli
@@ -122,7 +122,7 @@ type error =
| Mutability_mismatch of string * mutable_flag
| No_overriding of string * string
| Duplicate of string * string
- | Closing_self_type of type_expr
+ | Closing_self_type of class_signature
exception Error of Location.t * Env.t * error
exception Error_forward of Location.error