GHC.Iface.Ext.Debug

Documentation

type Diff a = a -> a -> [SDoc]

diffFile :: Diff HieFile

diffAsts :: (Outputable a, Eq a, Ord a) => Diff a -> Diff (Map FastString (HieAST a))

diffAst :: (Outputable a, Eq a, Ord a) => Diff a -> Diff (HieAST a)

type DiffIdent = Either ModuleName HieName

normalizeIdents :: Ord a => NodeIdentifiers a -> [(DiffIdent, IdentifierDetails a)]

diffList :: Diff a -> Diff [a]

eqDiff :: (Outputable a, Eq a) => Diff a

validAst :: HieAST a -> Either SDoc ()

validateScopes :: Module -> Map FastString (HieAST a) -> [SDoc]

Look for any identifiers which occur outside of their supposed scopes. Returns a list of error messages.