GHC.Parser.Lexer

Parser options.

See mkParserOpts to construct this.

Given exactly the information needed, set up the ParserOpts

Creates a parse state from a ParserOpts value

Set parser options for parsing OPTIONS pragmas

The parsing monad, isomorphic to StateT PState Maybe.

The result of running a parser.

The parser has consumed a (possibly empty) prefix of the input and produced a result. Use getPsMessages to check for accumulated warnings and non-fatal errors.

The carried parsing state can be used to resume parsing.

The parser has consumed a (possibly empty) prefix of the input and failed.

The carried parsing state can be used to resume parsing. It is the state right before failure, including the fatal parse error. getPsMessages and getPsErrorMessages must return a non-empty bag of errors.

An mtl-style class for monads that support parsing-related operations. For example, sometimes we make a second pass over the parsing results to validate, disambiguate, or rearrange them, and we do so in the PV monad which cannot consume input but can report parsing errors, check for extension bits, and accumulate parsing annotations. Both P and PV are instances of MonadP.

MonadP grants us convenient overloading. The other option is to have separate operations for each monad: addErrorP vs addErrorPV, getBitP vs getBitPV, and so on.

Check if a given flag is currently set in the bitmap.

Get a bag of the errors that have been accumulated so far. Does not take -Werror into account.

Get the warnings and errors accumulated so far. Does not take -Werror into account.

Various boolean flags, mostly language extensions, that impact lexing and parsing. Note that a handful of these can change during lexing/parsing.

Given a RealSrcSpan that surrounds a HsPar or HsParTy, generate EpToken values for the opening and closing bordering on the start and end of the span

Given a RealSrcSpan that surrounds a HsPar or HsParTy, generate EpaLocation values for the opening and closing bordering on the start and end of the span

Haddock comment as produced by the lexer. These are accumulated in PState and then processed in GHC.Parser.PostProcess.Haddock. The location of the HsDocStrings spans over the contents of the docstring - i.e. it does not include the decorator ("-- |", "{-|" etc.)

Test whether a WarningFlag is set