diff options
Diffstat (limited to 'typing/subst.ml')
| -rw-r--r-- | typing/subst.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/typing/subst.ml b/typing/subst.ml index fb5f901945..ad9d8d6863 100644 --- a/typing/subst.ml +++ b/typing/subst.ml @@ -131,7 +131,7 @@ let reset_for_saving () = new_id := -1 let newpersty desc = decr new_id; - { desc = desc; level = generic_level; id = !new_id } + { desc = desc; level = generic_level; scope = None; id = !new_id } (* ensure that all occurrences of 'Tvar None' are physically shared *) let tvar_none = Tvar None @@ -299,7 +299,8 @@ let type_declaration s decl = end; type_private = decl.type_private; type_variance = decl.type_variance; - type_newtype_level = None; + type_is_newtype = false; + type_expansion_scope = None; type_loc = loc s decl.type_loc; type_attributes = attrs s decl.type_attributes; type_immediate = decl.type_immediate; |