diff options
Diffstat (limited to 'typing/btype.ml')
-rw-r--r-- | typing/btype.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/typing/btype.ml b/typing/btype.ml index df5242c7f3..263eec2c63 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -252,13 +252,14 @@ let rec unmark_type ty = let unmark_type_decl decl = List.iter unmark_type decl.type_params; - begin match decl.type_kind with + let rec unmark_tkind = function Type_abstract -> () | Type_variant cstrs -> List.iter (fun (c, tl) -> List.iter unmark_type tl) cstrs | Type_record(lbls, rep) -> List.iter (fun (c, mut, t) -> unmark_type t) lbls - end; + | Type_private tkind -> unmark_tkind tkind in + unmark_tkind decl.type_kind; begin match decl.type_manifest with None -> () | Some ty -> unmark_type ty |