diff options
| author | Leo White <leo@lpw25.net> | 2021-11-18 13:16:13 +0000 |
|---|---|---|
| committer | Leo White <leo@lpw25.net> | 2021-11-18 13:16:13 +0000 |
| commit | 05d49af22e479d0bca3c26dfc9e49d6031899e06 (patch) | |
| tree | 880639f00476c2e6360746bbb27189f9bf21d5a1 /typing/types.ml | |
| parent | aa82df470da10c0431fd0a705bb5be0bceb31258 (diff) | |
| download | ocaml-05d49af22e479d0bca3c26dfc9e49d6031899e06.tar.gz | |
Update privacy when methods are overridden. Fixes #10781.
Diffstat (limited to 'typing/types.ml')
| -rw-r--r-- | typing/types.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/typing/types.ml b/typing/types.ml index 0bdbaacf6c..26477653a0 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -128,7 +128,11 @@ and class_signature = { csig_self: type_expr; mutable csig_self_row: type_expr; mutable csig_vars: (mutable_flag * virtual_flag * type_expr) Vars.t; - mutable csig_meths: (private_flag * virtual_flag * type_expr) Meths.t; } + mutable csig_meths: (method_privacy * virtual_flag * type_expr) Meths.t; } + +and method_privacy = + | Mpublic + | Mprivate of field_kind (* Variance *) |