Skip to content

Commit 98717b1

Browse files
authored
strip PervasivesU the same way Pervasives is stripped from paths (#6356)
1 parent c035367 commit 98717b1

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

jscomp/ml/printtyp.ml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,10 +51,11 @@ let ident ppf id = pp_print_string ppf (ident_name id)
5151
(* Print a path *)
5252

5353
let ident_pervasives = Ident.create_persistent "Pervasives"
54+
let ident_pervasives_u = Ident.create_persistent "PervasivesU"
5455
let printing_env = ref Env.empty
5556
let non_shadowed_pervasive = function
5657
| Pdot(Pident id, s, _pos) as path ->
57-
Ident.same id ident_pervasives &&
58+
(Ident.same id ident_pervasives || Ident.same id ident_pervasives_u) &&
5859
(try Path.same path (Env.lookup_type (Lident s) !printing_env)
5960
with Not_found -> true)
6061
| _ -> false

0 commit comments

Comments
 (0)