diff options
author | Thomas Refis <thomas.refis@gmail.com> | 2018-09-26 23:14:43 +0100 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2018-10-05 10:51:26 +0100 |
commit | 2ccad26bd0b1fdb510582ec3159e405afa3952fb (patch) | |
tree | c107fb1be94376fa5ec19fe6cd3bbe45825d1510 /typing/types.ml | |
parent | 2d3dc88315b921e2641ee324cb5766acb3c33df3 (diff) | |
download | ocaml-2ccad26bd0b1fdb510582ec3159e405afa3952fb.tar.gz |
always associate a scope to a type (previously it was optional)
Previously, not having a scope meant the type was used in every context,
now we set the scope to "Btype.lowest_level" to mean the same thing.
The equivalence was made obvious by the recent changes to identifiers
scoping.
Diffstat (limited to 'typing/types.ml')
-rw-r--r-- | typing/types.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/types.ml b/typing/types.ml index ea4efd3b14..baa8a83986 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -22,7 +22,7 @@ open Asttypes type type_expr = { mutable desc: type_desc; mutable level: int; - mutable scope: int option; + mutable scope: int; id: int } and type_desc = @@ -149,7 +149,7 @@ type type_declaration = type_manifest: type_expr option; type_variance: Variance.t list; type_is_newtype: bool; - type_expansion_scope: int option; + type_expansion_scope: int; type_loc: Location.t; type_attributes: Parsetree.attributes; type_immediate: bool; |