diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-11-04 22:37:46 +0100 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2020-01-28 11:39:52 +0100 |
commit | 358c7cecd5cbd923742f80fabc8e6fc41af26955 (patch) | |
tree | 6081f6dc726ee8ca416060b308606c4ee355f325 /typing/types.ml | |
parent | d87c2104f29c9c8a846893f498ff225f6ec6bcac (diff) | |
download | ocaml-358c7cecd5cbd923742f80fabc8e6fc41af26955.tar.gz |
add separability signatures in type declarations
(this changes the .cmi format and thus requires a bootstrap,
to follow as a separate commit)
(includes bug fixes by Rodolphe Lepigre)
Diffstat (limited to 'typing/types.ml')
-rw-r--r-- | typing/types.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/types.ml b/typing/types.ml index 53bd7c961f..e2e1feb53c 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -171,6 +171,7 @@ type type_declaration = type_private: private_flag; type_manifest: type_expr option; type_variance: Variance.t list; + type_separability: Separability.t list; type_is_newtype: bool; type_expansion_scope: int; type_loc: Location.t; |