Commits

camlspotter committed a978110 Merge

merge

  • Participants
  • Parent commits cf0468c, 9932d3e
  • Branches custom

Comments (0)

Files changed (3)

VERSION

File contents unchanged.
 
 (* 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

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 () = match ty.tyloc with
-    | None -> pr_typ ()
-    | Some _ -> Otyp_alias (pr_typ (), "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;