FrontEnd.Warning

Documentation

data Warning

Constructors

Warning

Fields

warnSrcLoc :: !SrcLoc

warnType :: WarnType

warnMessage :: String

Instances

Eq Warning

Ord Warning

Show Warning

MonadWarn (Writer [Warning])

class Monad m => MonadWarn m where

Methods

addWarning :: Warning -> m ()

Instances

MonadWarn IO

MonadWarn Identity

MonadWarn (Writer [Warning])

MonadWarn m => MonadWarn (ReaderT a m)

data WarnType

Constructors

AmbiguousExport Module [Name]

AmbiguousName Name [Name]

DuplicateInstances

InvalidDecl

MissingDep String

MissingModule Module

MultiplyDefined Name [SrcLoc]

InvalidFFIType

OccursCheck

PrimitiveBadType

PrimitiveUnknown Atom

TypeSynonymPartialAp

TypeSynonymRecursive

UndefinedName Name

UnificationError

UnknownDeriving [Class]

UnknownOption

UnknownPragma PackedString

UnsupportedFeature

Instances

Eq WarnType

Ord WarnType

processErrors :: [Warning] -> IO ()

warn :: MonadWarn m => SrcLoc -> WarnType -> String -> m ()

err :: MonadWarn m => WarnType -> String -> m ()

addWarn :: (MonadWarn m, MonadSrcLoc m) => WarnType -> String -> m ()

processIOErrors :: IO ()

printIOErrors :: IO Bool

just show IO errors and return whether it would have died