ed29a59 · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

Warn on duplicate imports

commited29a5961b204787f5b629e4715ea0418686c553 authorGary Burgess <gary.burgess@gmail.com> dateSun 22 Nov 2015, 23:04 (11 years ago) parentf36f1d5

3 files changed+65−10

compare with golang

unifiedsplit

src/Language/PureScript/AST/Declarations.hs+1−1 src/Language/PureScript/Errors.hs+33−5 src/Language/PureScript/Sugar/Names/Imports.hs+31−4

src/Language/PureScript/AST/Declarations.hs+1−1

@@ -109,7 +109,7 @@ data ImportDeclarationType

109109 -- An import with a list of references to hide: `import M hiding (foo)`

110110 --

111111 | Hiding [DeclarationRef]

112− deriving (Show, Read, D.Data, D.Typeable)

112+ deriving (Eq, Show, Read, D.Data, D.Typeable)

113113

114114-- |

115115-- The data type of declarations

src/Language/PureScript/Errors.hs+33−5

@@ -143,6 +143,9 @@ data SimpleErrorMessage

143143 | UnusedDctorImport ProperName

144144 | UnusedDctorExplicitImport ProperName [ProperName]

145145 | DeprecatedQualifiedSyntax ModuleName ModuleName

146+ | RedundantUnqualifiedImport ModuleName ImportDeclarationType

147+ | DuplicateSelectiveImport ModuleName

148+ | DuplicateImport ModuleName ImportDeclarationType (Maybe ModuleName)

146149 deriving (Show)

147150

148151-- | Error message hints, providing more detailed information about failure.

@@ -278,6 +281,9 @@ errorCode em = case unwrapErrorMessage em of

278281 UnusedDctorImport{} -> "UnusedDctorImport"

279282 UnusedDctorExplicitImport{} -> "UnusedDctorExplicitImport"

280283 DeprecatedQualifiedSyntax{} -> "DeprecatedQualifiedSyntax"

284+ RedundantUnqualifiedImport{} -> "RedundantUnqualifiedImport"

285+ DuplicateSelectiveImport{} -> "DuplicateSelectiveImport"

286+ DuplicateImport{} -> "DuplicateImport"

281287

282288

283289-- |

@@ -718,6 +724,15 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError

718724 paras [ line $ "The import of type " ++ runModuleName name ++ " as " ++ runModuleName qualName ++ " uses the deprecated 'import qualified' syntax."

719725 , line $ "This syntax form will be removed in PureScript 0.9." ]

720726

727+ renderSimpleErrorMessage (RedundantUnqualifiedImport name imp) =

728+ line $ "Import of " ++ prettyPrintImport name imp Nothing ++ " is redundant due to a whole-module import"

729+

730+ renderSimpleErrorMessage (DuplicateSelectiveImport name) =

731+ line $ "There is an existing import of " ++ runModuleName name ++ ", consider merging the import lists"

732+

733+ renderSimpleErrorMessage (DuplicateImport name imp qual) =

734+ line $ "Duplicate import of " ++ prettyPrintImport name imp qual

735+

721736 renderHint :: ErrorMessageHint -> Box.Box -> Box.Box

722737 renderHint (ErrorUnifyingTypes t1 t2) detail =

723738 paras [ detail

@@ -849,11 +864,24 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError

849864 -- Pretty print and export declaration

850865 prettyPrintExport :: DeclarationRef -> String

851866 prettyPrintExport (TypeRef pn _) = runProperName pn

852− prettyPrintExport (ValueRef ident) = showIdent ident

853− prettyPrintExport (TypeClassRef pn) = runProperName pn

854− prettyPrintExport (TypeInstanceRef ident) = showIdent ident

855− prettyPrintExport (ModuleRef name) = "module " ++ runModuleName name

856− prettyPrintExport (PositionedDeclarationRef _ _ ref) = prettyPrintExport ref

867+ prettyPrintExport ref = prettyPrintRef ref

868+

869+ prettyPrintRef :: DeclarationRef -> String

870+ prettyPrintRef (TypeRef pn Nothing) = runProperName pn ++ "(..)"

871+ prettyPrintRef (TypeRef pn (Just dctors)) = runProperName pn ++ "(" ++ intercalate ", " (map runProperName dctors) ++ ")"

872+ prettyPrintRef (ValueRef ident) = showIdent ident

873+ prettyPrintRef (TypeClassRef pn) = runProperName pn

874+ prettyPrintRef (TypeInstanceRef ident) = showIdent ident

875+ prettyPrintRef (ModuleRef name) = "module " ++ runModuleName name

876+ prettyPrintRef (PositionedDeclarationRef _ _ ref) = prettyPrintExport ref

877+

878+ prettyPrintImport :: ModuleName -> ImportDeclarationType -> Maybe ModuleName -> String

879+ prettyPrintImport mn idt qual =

880+ let i = case idt of

881+ Implicit -> runModuleName mn

882+ Explicit refs -> runModuleName mn ++ " (" ++ intercalate ", " (map prettyPrintRef refs) ++ ")"

883+ Hiding refs -> runModuleName mn ++ " hiding (" ++ intercalate "," (map prettyPrintRef refs) ++ ")"

884+ in i ++ maybe "" (\q -> " as " ++ runModuleName q) qual

857885

858886 -- | Simplify an error message

859887 simplifyErrorMessage :: ErrorMessage -> ErrorMessage

src/Language/PureScript/Sugar/Names/Imports.hs+31−4

@@ -24,9 +24,9 @@ module Language.PureScript.Sugar.Names.Imports

2424import Prelude ()

2525import Prelude.Compat

2626

27−import Data.List (find)

28−import Data.Maybe (fromMaybe, isNothing, fromJust)

29−import Data.Foldable (traverse_)

27+import Data.List (find, delete)

28+import Data.Maybe (fromMaybe, isJust, isNothing, fromJust)

29+import Data.Foldable (traverse_, for_)

3030

3131import Control.Arrow (first)

3232import Control.Monad

@@ -70,9 +70,36 @@ findImports = foldM (go Nothing) M.empty

7070resolveImports :: (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Env -> Module -> m Imports

7171resolveImports env (Module _ _ currentModule decls _) =

7272 censor (addHint (ErrorInModule currentModule)) $ do

73− scope <- M.insert currentModule [(Nothing, Implicit, Nothing)] <$> findImports decls

73+ imports <- findImports decls

74+

75+ for_ (M.toList imports) $ \(mn, imps) -> do

76+ let unqual = filter (\(_, _, q) -> isJust q) (reverse imps)

77+

78+ when (length imps > 1) $ for_ (selfCartesianSubset imps) $

79+ \((_, t1, q1), (pos, t2, q2)) ->

80+ when (t1 == t2 && q1 == q2) $

81+ maybe id warnWithPosition pos $

82+ tell . errorMessage $ DuplicateImport mn t2 q2

83+

84+ when (length unqual > 1) $

85+ case find (\(_, typ, _) -> typ == Implicit) unqual of

86+ Just i ->

87+ for_ (delete i unqual) $ \(pos, typ, _) ->

88+ maybe id warnWithPosition pos $

89+ tell $ errorMessage $ RedundantUnqualifiedImport mn typ

90+ Nothing ->

91+ for_ (tail unqual) $ \(pos, _, _) ->

92+ maybe id warnWithPosition pos $

93+ tell $ errorMessage $ DuplicateSelectiveImport mn

94+

95+ let scope = M.insert currentModule [(Nothing, Implicit, Nothing)] imports

7496 foldM (resolveModuleImport currentModule env) nullImports (M.toList scope)

7597

98+ where

99+ selfCartesianSubset :: [a] -> [(a, a)]

100+ selfCartesianSubset (x : xs) = [(x, y) | y <- xs] ++ selfCartesianSubset xs

101+ selfCartesianSubset [] = []

102+

76103-- | Constructs a set of imports for a single module import.

77104resolveModuleImport ::

78105 forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) =>