Commits

camlspotter  committed 2acd42f

cr

  • Participants
  • Parent commits a72a3d8
  • Branches custom

Comments (0)

Files changed (2)

File typing/ctype.ml

 
 (* partial: we may not wish to copy the non generic types
    before we call type_pat *)
+(* CR jfuruse: keep_names is never used *)
 let rec copy ?env ?partial ?keep_names ty =
   let copy = copy ?env ?partial ?keep_names in
   let ty = repr ty in

File typing/printtyp.ml

           List.map (fun li -> String.concat "." (Longident.flatten li)) n in
         Otyp_module (Path.name p, n, tree_of_typlist sch tyl)
   in
+  let pr_typ () = 
+    let o = pr_typ () in
+    if ty.tyloc = None then o else Otyp_alias (o, "loc")
+  in
   if List.memq px !delayed then delayed := List.filter ((!=) px) !delayed;
   if is_aliased px && aliasable ty then begin
     check_name_of_type px;