Don't complain about shadowing yourself.

Fixes #1060
GaloisInc · Feb 15, 2021 · 3db3b99 · 3db3b99
1 parent 074e445
commit 3db3b99
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/Cryptol/ModuleSystem/Renamer/Monad.hs b/src/Cryptol/ModuleSystem/Renamer/Monad.hs
@@ -197,8 +197,10 @@ checkEnv check (NamingEnv lenv) r rw0
       { rwWarnings =
           if check == CheckAll
              then case Map.lookup k (namespaceMap ns r) of
-                    Just os | [x] <- xs ->
-                                        SymbolShadowed k x os : rwWarnings acc
+                    Just os | [x] <- xs
+                            , let os' = filter (/=x) os
+                            , not (null os') ->
+                              SymbolShadowed k x os' : rwWarnings acc
                     _ -> rwWarnings acc
 
              else rwWarnings acc