{-# LANGUAGE TypeFamilies #-}
module Hint.Export(exportHint) where
import Hint.Type(ModuHint, ModuleEx(..),ideaNote,ignore',Note(..))
import GHC.Hs
import Module
import SrcLoc
import OccName
import RdrName
exportHint :: ModuHint
exportHint _ (ModuleEx (L s m@HsModule {hsmodName = Just name, hsmodExports = exports}) _)
| Nothing <- exports =
let r = o{ hsmodExports = Just (noLoc [noLoc (IEModuleContents noExtField name)] )} in
[(ignore' "Use module export list" (L s o) (noLoc r) []){ideaNote = [Note "an explicit list is usually better"]}]
| Just (L _ xs) <- exports
, mods <- [x | x <- xs, isMod x]
, modName <- moduleNameString (unLoc name)
, names <- [ moduleNameString (unLoc n) | (L _ (IEModuleContents _ n)) <- mods]
, exports' <- [x | x <- xs, not (matchesModName modName x)]
, modName `elem` names =
let dots = mkRdrUnqual (mkVarOcc " ... ")
r = o{ hsmodExports = Just (noLoc (noLoc (IEVar noExtField (noLoc (IEName (noLoc dots)))) : exports') )}
in
[ignore' "Use explicit module export list" (L s o) (noLoc r) []]
where
o = m{hsmodImports=[], hsmodDecls=[], hsmodDeprecMessage=Nothing, hsmodHaddockModHeader=Nothing }
isMod (L _ (IEModuleContents _ _)) = True
isMod _ = False
matchesModName m (L _ (IEModuleContents _ (L _ n))) = moduleNameString n == m
matchesModName _ _ = False
exportHint _ _ = []