Commits

camlspotter committed faaaad5

disabled debug tyloc print

Comments (0)

Files changed (1)

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;