Skip to content

Commit

Permalink
loader: Fix compatibility with 4.02
Browse files Browse the repository at this point in the history
  • Loading branch information
Julow authored and jonludlam committed Jan 17, 2025
1 parent da1447f commit 1a202d0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/loader/cmti.ml
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ let rec read_core_type env container ctyp =
argument since the 4.02.x representation includes it explicitly. *)
let arg = match lbl with
| None | Some(Label(_)) -> read_core_type env container arg
| Some(Optional(_)) ->
| Some(Optional(_)) | Some(RawOptional(_)) ->
let arg' = match arg.ctyp_desc with
| Ttyp_constr(_, _, param :: _) -> param
| _ -> arg
Expand Down

0 comments on commit 1a202d0

Please sign in to comment.