Skip to content

Commit f21947d

Browse files
committed
fix error with Tsubst in ocaml 4.13 (the type definition has been changed)
1 parent a711eb3 commit f21947d

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

src/odoc_wiki/odoc_import.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ let raw_string_of_type_list ?(margin = default_margin) sep type_list =
3232
let rec need_parent t =
3333
match t.Types.desc with
3434
Types.Tarrow _ | Types.Ttuple _ -> true
35-
| Types.Tlink t2 | Types.Tsubst t2 -> need_parent t2
35+
| Types.Tlink t2 | Types.Tsubst (t2, _) -> need_parent t2
3636
| Types.Tconstr _ ->
3737
false
3838
(* | Types.Tvar | Types.Tunivar | Types.Tobject _ | Types.Tpoly _ *)
@@ -120,7 +120,7 @@ let string_of_class_type_param_list ?margin l =
120120
let rec is_arrow_type t =
121121
match t.Types.desc with
122122
Types.Tarrow _ -> true
123-
| Types.Tlink t2 | Types.Tsubst t2 -> is_arrow_type t2
123+
| Types.Tlink t2 | Types.Tsubst (t2, _) -> is_arrow_type t2
124124
(* | Types.Ttuple _ *)
125125
(* | Types.Tconstr _ *)
126126
(* | Types.Tvar | Types.Tunivar | Types.Tobject _ | Types.Tpoly _ *)

wikidoc.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ remove: [
1818
[ "rm" "-f" "%{bin}%/latex_of_wiki" ]
1919
]
2020
depends: [
21-
"ocaml" {>= "4.10.0" & < "4.13.0"}
21+
"ocaml" {= "4.13.0"}
2222
"base-threads"
2323
"base-unix"
2424
"ocamlfind"

0 commit comments

Comments
 (0)