diff options
| author | Leo White <leo@lpw25.net> | 2019-03-01 11:42:23 +0000 |
|---|---|---|
| committer | Leo White <leo@lpw25.net> | 2021-07-13 17:30:55 +0100 |
| commit | b43ecd16db56566e7ab3ae68616a1f1e21c4226a (patch) | |
| tree | b019cd99420a80a15124a082d419978f978e88f1 /typing/types.ml | |
| parent | 1aa65fa9679fcc252c2f7646586e263e0809662e (diff) | |
| download | ocaml-b43ecd16db56566e7ab3ae68616a1f1e21c4226a.tar.gz | |
Represent ancestor variables more directly
Previously, some of the translation of method calls on ancestor
variables (bindings from `inherit` statements) was done in typecore.ml
by creating fake typedtree expressions. This has been moved into
translcore.ml which is simpler. We also pass the types of inherited
methods directly as part of the ancestor variable's kind, which
eleminates the need for the dummy `selfpat-n` variables.
Diffstat (limited to 'typing/types.ml')
| -rw-r--r-- | typing/types.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/types.ml b/typing/types.ml index 1ec8f5d48f..0499ba6152 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -157,7 +157,7 @@ and value_kind = (Ident.t * mutable_flag * virtual_flag * type_expr) Vars.t * string (* Self *) - | Val_anc of (string * Ident.t) list * string + | Val_anc of (Ident.t * type_expr) Meths.t * string (* Ancestor *) and self_var_kind = |