Commits

HongboZhang  committed 8cea41b

add type annotations to make ocamldoc happy

  • Participants
  • Parent commits 833c03b

Comments (0)

Files changed (2)

File typing/cmt_format.ml

         raise (Cmi_format.Error (Cmi_format.Not_an_interface filename))
     | Some cmi, _ -> cmi
 
-let saved_types = ref []
+let saved_types : binary_part list ref = ref []
 
 let add_saved_type b = saved_types := b :: !saved_types
 let get_saved_types () = !saved_types

File typing/typetexp.ml

   make_fixed_univars ty;
   Btype.unmark_type ty
 
-let create_package_mty = create_package_mty false
+let create_package_mty : Location.t ->
+  Env.t ->
+  Longident.t Asttypes.loc *
+  (Longident.t Asttypes.loc * Parsetree.core_type) list ->
+  (Longident.t Asttypes.loc * Parsetree.core_type) list *
+  Parsetree.module_type= create_package_mty false
 
 let globalize_used_variables env fixed =
   let r = ref [] in