Moduleghc-9.14.1GHC2021

GHC.Iface.Ext.Debug

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

valuediffFile :: Diff HieFile

valuediffAsts

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

typetype DiffIdent = Either ModuleName HieName

valuenormalizeIdents

valuediffList :: Diff a -> Diff [a]

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

valuevalidAst :: HieAST a -> Either SDoc ()

valuevalidateScopes :: Module -> Map HiePath (HieAST a) -> [SDoc]

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