Copyright	(c) 2011 Kathleen Fisher <kathleen.fisher@gmail.com> John Launchbury <john.launchbury@gmail.com>
License	MIT
Maintainer	Karl Cronburg <karl@cs.tufts.edu>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Language.Pads.Errors

Description

Synopsis

data ErrMsg
- = FoundWhenExpecting String String
- | MissingLiteral String
- | ExtraBeforeLiteral String
- | LineError String
- | Insufficient Int Int
- | RegexMatchFail String
- | TransformToDstFail String String String
- | TransformToSrcFail String String String
- | UnderlyingTypedefFail
- | PredicateFailure
- | ExtraStuffBeforeTy String String
- | FileError String String
- | BitWidthError Int Int
data ErrInfo = ErrInfo {
- msg :: ErrMsg
- position :: Maybe Span
}
mergeErrInfo :: ErrInfo -> ErrInfo -> ErrInfo
maybeMergeErrInfo :: Maybe ErrInfo -> Maybe ErrInfo -> Maybe ErrInfo

Documentation

data ErrMsg Source #

Errors which can be encountered at runtime when parsing a Pads type

Instances

Eq ErrMsg Source #
Instance details Defined in Language.Pads.Errors Methods (==) :: ErrMsg -> ErrMsg -> Bool # (/=) :: ErrMsg -> ErrMsg -> Bool #
Data ErrMsg Source #
Instance details Defined in Language.Pads.Errors Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ErrMsg -> c ErrMsg # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ErrMsg # toConstr :: ErrMsg -> Constr # dataTypeOf :: ErrMsg -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ErrMsg) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ErrMsg) # gmapT :: (forall b. Data b => b -> b) -> ErrMsg -> ErrMsg # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ErrMsg -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ErrMsg -> r # gmapQ :: (forall d. Data d => d -> u) -> ErrMsg -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ErrMsg -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ErrMsg -> m ErrMsg # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrMsg -> m ErrMsg # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrMsg -> m ErrMsg #
Ord ErrMsg Source #
Instance details Defined in Language.Pads.Errors Methods compare :: ErrMsg -> ErrMsg -> Ordering # (<) :: ErrMsg -> ErrMsg -> Bool # (<=) :: ErrMsg -> ErrMsg -> Bool # (>) :: ErrMsg -> ErrMsg -> Bool # (>=) :: ErrMsg -> ErrMsg -> Bool # max :: ErrMsg -> ErrMsg -> ErrMsg # min :: ErrMsg -> ErrMsg -> ErrMsg #
Show ErrMsg Source #
Instance details Defined in Language.Pads.Errors Methods showsPrec :: Int -> ErrMsg -> ShowS # show :: ErrMsg -> String # showList :: [ErrMsg] -> ShowS #
Pretty ErrMsg Source #	Pretty printer for Pads runtime error messages.
Instance details Defined in Language.Pads.Errors Methods ppr :: ErrMsg -> Doc # pprPrec :: Int -> ErrMsg -> Doc # pprList :: [ErrMsg] -> Doc #

data ErrInfo Source #

Error information relating back to the source input

Constructors

ErrInfo
Fields msg :: ErrMsg position :: Maybe Span

Instances

Eq ErrInfo Source #
Instance details Defined in Language.Pads.Errors Methods (==) :: ErrInfo -> ErrInfo -> Bool # (/=) :: ErrInfo -> ErrInfo -> Bool #
Data ErrInfo Source #
Instance details Defined in Language.Pads.Errors Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ErrInfo -> c ErrInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ErrInfo # toConstr :: ErrInfo -> Constr # dataTypeOf :: ErrInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ErrInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ErrInfo) # gmapT :: (forall b. Data b => b -> b) -> ErrInfo -> ErrInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ErrInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ErrInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> ErrInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ErrInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ErrInfo -> m ErrInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrInfo -> m ErrInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrInfo -> m ErrInfo #
Ord ErrInfo Source #
Instance details Defined in Language.Pads.Errors Methods compare :: ErrInfo -> ErrInfo -> Ordering # (<) :: ErrInfo -> ErrInfo -> Bool # (<=) :: ErrInfo -> ErrInfo -> Bool # (>) :: ErrInfo -> ErrInfo -> Bool # (>=) :: ErrInfo -> ErrInfo -> Bool # max :: ErrInfo -> ErrInfo -> ErrInfo # min :: ErrInfo -> ErrInfo -> ErrInfo #
Show ErrInfo Source #
Instance details Defined in Language.Pads.Errors Methods showsPrec :: Int -> ErrInfo -> ShowS # show :: ErrInfo -> String # showList :: [ErrInfo] -> ShowS #
Pretty ErrInfo Source #	Pretty printer for reporting where in the source text a parse error occured.
Instance details Defined in Language.Pads.Errors Methods ppr :: ErrInfo -> Doc # pprPrec :: Int -> ErrInfo -> Doc # pprList :: [ErrInfo] -> Doc #

mergeErrInfo :: ErrInfo -> ErrInfo -> ErrInfo Source #

Always just pick the first error message

maybeMergeErrInfo :: Maybe ErrInfo -> Maybe ErrInfo -> Maybe ErrInfo Source #

Merge errors in the Maybe monad

FoundWhenExpecting String String
MissingLiteral String
ExtraBeforeLiteral String
LineError String
Insufficient Int Int
RegexMatchFail String
TransformToDstFail String String String
TransformToSrcFail String String String
UnderlyingTypedefFail
PredicateFailure
ExtraStuffBeforeTy String String
FileError String String
BitWidthError Int Int