Skip to content

Commit

Permalink
Compatibility
Browse files Browse the repository at this point in the history
  • Loading branch information
panglesd committed Nov 27, 2024
1 parent f520b25 commit aabd040
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion test/odoc_print/print_index.ml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,11 @@ open Compatcmdliner

let run inp =
let inp = Fpath.v inp in
let index = Odoc_odoc.Odoc_file.load_index inp |> Result.get_ok in
let index =
Odoc_odoc.Odoc_file.load_index inp |> function
| Result.Ok x -> x
| _ -> failwith "failed to load index"
in
let rec tree_to_yojson
({ node; children } : Odoc_index.Entry.t Odoc_utils.Tree.t) :
Yojson.Safe.t =
Expand Down

0 comments on commit aabd040

Please sign in to comment.