diff options
Diffstat (limited to 'typing/datarepr.ml')
-rw-r--r-- | typing/datarepr.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/datarepr.ml b/typing/datarepr.ml index 7bef64c9f2..bae3bd8bd6 100644 --- a/typing/datarepr.ml +++ b/typing/datarepr.ml @@ -86,7 +86,7 @@ let constructor_args priv cd_args cd_res path rep = type_manifest = None; type_variance = List.map (fun _ -> Variance.full) type_params; type_is_newtype = false; - type_expansion_scope = None; + type_expansion_scope = Btype.lowest_level; type_loc = Location.none; type_attributes = []; type_immediate = false; @@ -177,7 +177,7 @@ let extension_descr path_ext ext = cstr_inlined; } -let none = {desc = Ttuple []; level = -1; scope = None; id = -1} +let none = {desc = Ttuple []; level = -1; scope = Btype.generic_level; id = -1} (* Clearly ill-formed type *) let dummy_label = { lbl_name = ""; lbl_res = none; lbl_arg = none; lbl_mut = Immutable; |