We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent da1447f commit 1a202d0Copy full SHA for 1a202d0
src/loader/cmti.ml
@@ -51,7 +51,7 @@ let rec read_core_type env container ctyp =
51
argument since the 4.02.x representation includes it explicitly. *)
52
let arg = match lbl with
53
| None | Some(Label(_)) -> read_core_type env container arg
54
- | Some(Optional(_)) ->
+ | Some(Optional(_)) | Some(RawOptional(_)) ->
55
let arg' = match arg.ctyp_desc with
56
| Ttyp_constr(_, _, param :: _) -> param
57
| _ -> arg
0 commit comments