strip PervasivesU the same way Pervasives is stripped from paths (#6356)

rescript-lang · Aug 17, 2023 · 98717b1 · 98717b1
1 parent c035367
commit 98717b1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/jscomp/ml/printtyp.ml b/jscomp/ml/printtyp.ml
@@ -51,10 +51,11 @@ let ident ppf id = pp_print_string ppf (ident_name id)
 (* Print a path *)
 
 let ident_pervasives = Ident.create_persistent "Pervasives"
+let ident_pervasives_u = Ident.create_persistent "PervasivesU"
 let printing_env = ref Env.empty
 let non_shadowed_pervasive = function
   | Pdot(Pident id, s, _pos) as path ->
-      Ident.same id ident_pervasives &&
+      (Ident.same id ident_pervasives || Ident.same id ident_pervasives_u) &&
       (try Path.same path (Env.lookup_type (Lident s) !printing_env)
        with Not_found -> true)
   | _ -> false