SMR.Source.Expected

Documentation

data Expected t s p

What we were expecting at the point there was a parse error.

Constructors

ExBaseEnd

Expecting end of input.

ExBaseNameOf Space

Expecting a name in the given namespace.

ExBaseNameAny

Expecting a name in any namespace.

ExBaseNat

Expecting a natural number.

ExBaseText

Expecting a text string.

ExBasePunc Char

Expecting a punctuation character.

ExBaseMsg String

Expecting something described by the given message.

ExContextDecl Text (Bag (Blocker t (Expected t s p)))

Expecting something while parsing a declaration.

ExContextBind Text (Bag (Blocker t (Expected t s p)))

Expecting something while parsing a binding.

Instances

Show t => Show (Expected t s p)

Methods

showsPrec :: Int -> Expected t s p -> ShowS

show :: Expected t s p -> String

showList :: [Expected t s p] -> ShowS

pprExpected :: (Show s, Show p) => Expected (Located Token) s p -> String

Pretty print an expected thing.

pprBlocker :: (Show s, Show p) => Blocker (Located Token) (Expected (Located Token) s p) -> String

Pretty print a blocker.

pprLocation :: Location -> String

data ParseError t e

Parser error.

Constructors

ParseError [Blocker t e]

Instances

(Show t, Show e) => Show (ParseError t e)

Methods

showsPrec :: Int -> ParseError t e -> ShowS

show :: ParseError t e -> String

showList :: [ParseError t e] -> ShowS

pprParseError :: (Show s, Show p) => ParseError (Located Token) (Expected (Located Token) s p) -> String

Pretty print a parser error.