Support OxCaml call position arguments (#11)

Author: lukemaurer

src/loader/cmi.ml

@@ -109,9 +109,10 @@ let read_label lbl =
       | _ -> Some (Label lbl)
 #else
   match lbl with
-  | Asttypes.Nolabel -> None
-  | Asttypes.Labelled s -> Some (Label s)
-  | Asttypes.Optional s -> Some (Optional s)
+  | Types.Nolabel -> None
+  | Types.Labelled s -> Some (Label s)
+  | Types.Optional s -> Some (Optional s)
+  | Types.Position s -> (* FIXME: do better? *) Some (Label s)
 #endif
 
 (* Handle type variable names *)

src/loader/cmi.mli

@@ -34,7 +34,7 @@ val read_interface :
 #if OCAML_VERSION < (4,3,0)
 val read_label : Asttypes.label -> Odoc_model.Lang.TypeExpr.label option
 #else
-val read_label : Asttypes.arg_label -> Odoc_model.Lang.TypeExpr.label option
+val read_label : Types.arg_label -> Odoc_model.Lang.TypeExpr.label option
 #endif
 
 val mark_type_expr : Types.type_expr -> unit

src/loader/cmti.ml

@@ -165,6 +165,7 @@ let rec read_core_type env container ctyp =
       (* TODO: adjust model *)
       read_core_type env container t
 #endif
+    | Ttyp_call_pos -> Constr(Env.Path.read_type env.ident_env Predef.path_lexing_position, [])
     | Ttyp_of_kind _ -> assert false
 
 let read_value_description env parent vd =