diff options
| author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2021-10-18 22:25:53 +0900 |
|---|---|---|
| committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2021-10-18 22:25:53 +0900 |
| commit | 056783366af1da2c33c8dba1618d8e8af9ac6ba3 (patch) | |
| tree | 143eae9b80bc922ebca0ef84808d0964f6b579ba /typing/types.ml | |
| parent | 07eddeb6b1dfcdedd726e1d4950fcfe3485f382d (diff) | |
| download | ocaml-056783366af1da2c33c8dba1618d8e8af9ac6ba3.tar.gz | |
comments
Diffstat (limited to 'typing/types.ml')
| -rw-r--r-- | typing/types.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/typing/types.ml b/typing/types.ml index 0a9a219765..34c1cb3b9a 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -67,9 +67,9 @@ and any = [`some | `none | `var] and field_kind = [`some|`var] field_kind_gen and _ field_kind_gen = FKvar : {mutable field_kind: any field_kind_gen} -> [> `var] field_kind_gen - | FKprivate : [> `none] field_kind_gen (* was None as parameter to Fvar *) - | FKpublic : [> `some] field_kind_gen (* was Fpresent *) - | FKabsent : [> `some] field_kind_gen + | FKprivate : [> `none] field_kind_gen (* private method; only under FKvar *) + | FKpublic : [> `some] field_kind_gen (* public method *) + | FKabsent : [> `some] field_kind_gen (* hidden private method *) and commutable = [`some|`var] commutable_gen and _ commutable_gen = |