Safe Haskell	None
Language	GHC2021

GHC.Parser.Errors.Types

Synopsis

type PsWarning = PsMessage
type PsError = PsMessage
data PsHeaderMessage
- = PsErrParseLanguagePragma
- | PsErrUnsupportedExt !String ![String]
- | PsErrParseOptionsPragma !String
- | PsErrUnknownOptionsPragma !String
data PsMessage
- = PsUnknownMessage (UnknownDiagnostic (DiagnosticOpts PsMessage))
- | PsHeaderMessage !PsHeaderMessage
- | PsWarnBidirectionalFormatChars (NonEmpty (PsLoc, Char, String))
- | PsWarnTab !Word
- | PsWarnTransitionalLayout !TransLayoutReason
- | PsWarnUnrecognisedPragma !String ![String]
- | PsWarnMisplacedPragma !FileHeaderPragmaType
- | PsWarnHaddockInvalidPos
- | PsWarnHaddockIgnoreMulti
- | PsWarnStarBinder
- | PsWarnStarIsType
- | PsWarnImportPreQualified
- | PsWarnOperatorWhitespaceExtConflict !OperatorWhitespaceSymbol
- | PsWarnOperatorWhitespace !FastString !OperatorWhitespaceOccurrence
- | PsWarnViewPatternSignatures !(LPat GhcPs) !(LPat GhcPs)
- | PsErrLambdaCase
- | PsErrEmptyLambda
- | PsErrNumUnderscores !NumUnderscoreReason
- | PsErrPrimStringInvalidChar
- | PsErrMissingBlock
- | PsErrLexer !LexErr !LexErrKind
- | PsErrSuffixAT
- | PsErrParse !String !PsErrParseDetails
- | PsErrCmmLexer
- | PsErrUnsupportedBoxedSumExpr !(SumOrTuple (HsExpr GhcPs))
- | PsErrUnsupportedBoxedSumPat !(SumOrTuple (PatBuilder GhcPs))
- | PsErrUnexpectedQualifiedConstructor !RdrName
- | PsErrTupleSectionInPat
- | PsErrIllegalBangPattern !(Pat GhcPs)
- | PsErrOpFewArgs !StarIsType !RdrName
- | PsErrImportQualifiedTwice
- | PsErrImportPostQualified
- | PsErrIllegalExplicitNamespace
- | PsErrVarForTyCon !RdrName
- | PsErrIllegalPatSynExport
- | PsErrMalformedEntityString
- | PsErrDotsInRecordUpdate
- | PsErrPrecedenceOutOfRange !Int
- | PsErrOverloadedRecordDotInvalid
- | PsErrOverloadedRecordUpdateNotEnabled
- | PsErrOverloadedRecordUpdateNoQualifiedFields
- | PsErrInvalidDataCon !(HsType GhcPs)
- | PsErrInvalidInfixDataCon !(HsType GhcPs) !RdrName !(HsType GhcPs)
- | PsErrIllegalPromotionQuoteDataCon !RdrName
- | PsErrUnpackDataCon
- | PsErrUnexpectedKindAppInDataCon !DataConBuilder !(HsType GhcPs)
- | PsErrInvalidRecordCon !(PatBuilder GhcPs)
- | PsErrIllegalUnboxedStringInPat !(HsLit GhcPs)
- | PsErrIllegalUnboxedFloatingLitInPat !(HsLit GhcPs)
- | PsErrDoNotationInPat
- | PsErrIfThenElseInPat
- | PsErrLambdaInPat HsLamVariant
- | PsErrCaseInPat
- | PsErrLetInPat
- | PsErrArrowExprInPat !(HsExpr GhcPs)
- | PsErrArrowCmdInPat !(HsCmd GhcPs)
- | PsErrArrowCmdInExpr !(HsCmd GhcPs)
- | PsErrOrPatInExpr !(LPat GhcPs)
- | PsErrTypeAppWithoutSpace !RdrName !(LHsExpr GhcPs)
- | PsErrLazyPatWithoutSpace !(LHsExpr GhcPs)
- | PsErrBangPatWithoutSpace !(LHsExpr GhcPs)
- | PsErrUnallowedPragma !(HsPragE GhcPs)
- | PsErrQualifiedDoInCmd !ModuleName
- | PsErrInvalidInfixHole
- | PsErrSemiColonsInCondExpr !(HsExpr GhcPs) !Bool !(HsExpr GhcPs) !Bool !(HsExpr GhcPs)
- | PsErrSemiColonsInCondCmd !(HsExpr GhcPs) !Bool !(HsCmd GhcPs) !Bool !(HsCmd GhcPs)
- | PsErrAtInPatPos
- | PsErrCaseCmdInFunAppCmd !(LHsCmd GhcPs)
- | PsErrLambdaCmdInFunAppCmd !HsLamVariant !(LHsCmd GhcPs)
- | PsErrIfCmdInFunAppCmd !(LHsCmd GhcPs)
- | PsErrLetCmdInFunAppCmd !(LHsCmd GhcPs)
- | PsErrDoCmdInFunAppCmd !(LHsCmd GhcPs)
- | PsErrDoInFunAppExpr !(Maybe ModuleName) !(LHsExpr GhcPs)
- | PsErrMDoInFunAppExpr !(Maybe ModuleName) !(LHsExpr GhcPs)
- | PsErrCaseInFunAppExpr !(LHsExpr GhcPs)
- | PsErrLambdaInFunAppExpr !HsLamVariant !(LHsExpr GhcPs)
- | PsErrLetInFunAppExpr !(LHsExpr GhcPs)
- | PsErrIfInFunAppExpr !(LHsExpr GhcPs)
- | PsErrProcInFunAppExpr !(LHsExpr GhcPs)
- | PsErrMalformedTyOrClDecl !(LHsType GhcPs)
- | PsErrIllegalWhereInDataDecl
- | PsErrIllegalDataTypeContext !(LHsContext GhcPs)
- | PsErrParseErrorOnInput !OccName
- | PsErrMalformedDecl !SDoc !RdrName
- | PsErrNotADataCon !RdrName
- | PsErrRecordSyntaxInPatSynDecl !(LPat GhcPs)
- | PsErrEmptyWhereInPatSynDecl !RdrName
- | PsErrInvalidWhereBindInPatSynDecl !RdrName !(HsDecl GhcPs)
- | PsErrNoSingleWhereBindInPatSynDecl !RdrName !(HsDecl GhcPs)
- | PsErrDeclSpliceNotAtTopLevel !(SpliceDecl GhcPs)
- | PsErrInferredTypeVarNotAllowed
- | PsErrMultipleNamesInStandaloneKindSignature [LIdP GhcPs]
- | PsErrIllegalImportBundleForm
- | PsErrIllegalRoleName !FastString [Role]
- | PsErrInvalidTypeSignature !PsInvalidTypeSignature !(LHsExpr GhcPs)
- | PsErrUnexpectedTypeInDecl !(LHsType GhcPs) !SDoc !RdrName [LHsTypeArg GhcPs] !SDoc
- | PsErrExpectedHyphen
- | PsErrSpaceInSCC
- | PsErrEmptyDoubleQuotes !Bool
- | PsErrInvalidPackageName !FastString
- | PsErrInvalidRuleActivationMarker
- | PsErrLinearFunction
- | PsErrMultiWayIf
- | PsErrExplicitForall !Bool
- | PsErrIllegalQualifiedDo !SDoc
- | PsErrCmmParser !CmmParserError
- | PsErrIllegalTraditionalRecordSyntax !SDoc
- | PsErrParseErrorInCmd !SDoc
- | PsErrInPat !(PatBuilder GhcPs) !PsErrInPatDetails
- | PsErrParseRightOpSectionInPat !RdrName !(PatBuilder GhcPs)
- | PsErrIllegalGadtRecordMultiplicity !(HsArrow GhcPs)
- | PsErrInvalidCApiImport
- | PsErrMultipleConForNewtype !RdrName !Int
- | PsErrUnicodeCharLooksLike Char Char String
- | PsErrInvalidPun !PsErrPunDetails
- | PsErrIllegalOrPat (LPat GhcPs)
- | PsErrTypeSyntaxInPat !PsErrTypeSyntaxDetails
data PsErrParseDetails = PsErrParseDetails {
- ped_th_enabled :: !Bool
- ped_do_in_last_100 :: !Bool
- ped_mdo_in_last_100 :: !Bool
- ped_pat_syn_enabled :: !Bool
- ped_pattern_parsed :: !Bool
}
data PsInvalidTypeSignature
- = PsErrInvalidTypeSig_Qualified
- | PsErrInvalidTypeSig_DataCon
- | PsErrInvalidTypeSig_Other
data PatIsRecursive
- = YesPatIsRecursive
- | NoPatIsRecursive
data PatIncompleteDoBlock
- = YesIncompleteDoBlock
- | NoIncompleteDoBlock
data ParseContext = ParseContext {
- is_infix :: !(Maybe RdrName)
- incomplete_do_block :: !PatIncompleteDoBlock
}
data PsErrInPatDetails
- = PEIP_NegApp
- | PEIP_TypeArgs [HsConPatTyArg GhcPs]
- | PEIP_RecPattern [LPat GhcPs] !PatIsRecursive !ParseContext
- | PEIP_OtherPatDetails !ParseContext
data PsErrPunDetails
- = PEP_QuoteDisambiguation
- | PEP_TupleSyntaxType
- | PEP_SumSyntaxType
data PsErrTypeSyntaxDetails
- = PETS_FunctionArrow !(LocatedA (PatBuilder GhcPs)) !(HsArrowOf (LocatedA (PatBuilder GhcPs)) GhcPs) !(LocatedA (PatBuilder GhcPs))
- | PETS_Multiplicity !(EpToken "%") !(LocatedA (PatBuilder GhcPs))
- | PETS_ForallTelescope !(HsForAllTelescope GhcPs) !(LocatedA (PatBuilder GhcPs))
- | PETS_ConstraintContext !(LocatedA (PatBuilder GhcPs))
noParseContext :: ParseContext
incompleteDoBlock :: ParseContext
fromParseContext :: ParseContext -> PsErrInPatDetails
data NumUnderscoreReason
- = NumUnderscore_Integral
- | NumUnderscore_Float
data LexErrKind
- = LexErrKind_EOF
- | LexErrKind_UTF8
- | LexErrKind_Char !Char
data LexErr
- = LexError
- | LexUnknownPragma
- | LexErrorInPragma
- | LexNumEscapeRange
- | LexUnterminatedComment
- | LexUnterminatedOptions
- | LexUnterminatedQQ
data CmmParserError
- = CmmUnknownPrimitive !FastString
- | CmmUnknownMacro !FastString
- | CmmUnknownCConv !String
- | CmmUnrecognisedSafety !String
- | CmmUnrecognisedHint !String
data TransLayoutReason
- = TransLayout_Where
- | TransLayout_Pipe
data FileHeaderPragmaType
- = OptionsPrag
- | IncludePrag
- | LanguagePrag
- | DocOptionsPrag

Documentation

type PsWarning = PsMessage Source #

type PsError = PsMessage Source #

data PsHeaderMessage Source #

Constructors

PsErrParseLanguagePragma
PsErrUnsupportedExt !String ![String]
PsErrParseOptionsPragma !String
PsErrUnknownOptionsPragma !String	PsErrUnsupportedOptionsPragma is an error that occurs when an unknown OPTIONS_GHC pragma is supplied is found. Example(s): {-# OPTIONS_GHC foo #-} Test case(s): testssafeHaskellflags/SafeFlags28 testssafeHaskellflags/SafeFlags19 testssafeHaskellflags/SafeFlags29 testsparsershould_fail/T19923c testsparsershould_fail/T19923b testsparsershould_fail/readFail044 testsdriverT2499

Instances

Instances details

Generic PsHeaderMessage Source #

Instance details

Defined in GHC.Parser.Errors.Types

Associated Types

type Rep PsHeaderMessage

Instance details

Defined in GHC.Parser.Errors.Types

type Rep PsHeaderMessage = D1 ('MetaData "PsHeaderMessage" "GHC.Parser.Errors.Types" "ghc-9.12-7e51" 'False) ((C1 ('MetaCons "PsErrParseLanguagePragma" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PsErrUnsupportedExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [String]))) :+: (C1 ('MetaCons "PsErrParseOptionsPragma" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "PsErrUnknownOptionsPragma" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))

Methods

from :: PsHeaderMessage -> Rep PsHeaderMessage x #

to :: Rep PsHeaderMessage x -> PsHeaderMessage #

type Rep PsHeaderMessage Source #

Instance details

Defined in GHC.Parser.Errors.Types

type Rep PsHeaderMessage = D1 ('MetaData "PsHeaderMessage" "GHC.Parser.Errors.Types" "ghc-9.12-7e51" 'False) ((C1 ('MetaCons "PsErrParseLanguagePragma" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PsErrUnsupportedExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [String]))) :+: (C1 ('MetaCons "PsErrParseOptionsPragma" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "PsErrUnknownOptionsPragma" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))

data PsMessage Source #

Constructors

PsUnknownMessage (UnknownDiagnostic (DiagnosticOpts PsMessage))	An "unknown" message from the parser. This type constructor allows arbitrary messages to be embedded. The typical use case would be GHC plugins willing to emit custom diagnostics.
PsHeaderMessage !PsHeaderMessage	A group of parser messages emitted in `Header`. See Note [Messages from GHC.Parser.Header].
PsWarnBidirectionalFormatChars (NonEmpty (PsLoc, Char, String))	PsWarnBidirectionalFormatChars is a warning (controlled by the -Wwarn-bidirectional-format-characters flag) that occurs when unicode bi-directional format characters are found within in a file The `PsLoc` contains the exact position in the buffer the character occurred, and the string contains a description of the character.
PsWarnTab	PsWarnTab is a warning (controlled by the -Wwarn-tabs flag) that occurs when tabulations (tabs) are found within a file. Test case(s): parsershould_failT12610 parsershould_compileT9723b parsershould_compileT9723a parsershould_compileread043 parsershould_failT16270 warningsshould_compileT9230
Fields !Word Number of other occurrences other than the first one
PsWarnTransitionalLayout !TransLayoutReason	PsWarnTransitionalLayout is a warning (controlled by the -Walternative-layout-rule-transitional flag) that occurs when pipes ('\|') or 'where' are at the same depth of an implicit layout block. Example(s): f :: IO () f \| True = do let x = () y = () return () \| True = return () Test case(s): layout/layout006 layout/layout003 layout/layout001
PsWarnUnrecognisedPragma !String ![String]	Unrecognised pragma. First field is the actual pragma name which might be empty. Second field is the set of valid candidate pragmas.
PsWarnMisplacedPragma !FileHeaderPragmaType
PsWarnHaddockInvalidPos	Invalid Haddock comment position
PsWarnHaddockIgnoreMulti	Multiple Haddock comment for the same entity
PsWarnStarBinder	Found binding occurrence of "*" while StarIsType is enabled
PsWarnStarIsType	Using "*" for Type without StarIsType enabled
PsWarnImportPreQualified	Pre qualified import with `WarnPrepositiveQualifiedModule` enabled
PsWarnOperatorWhitespaceExtConflict !OperatorWhitespaceSymbol
PsWarnOperatorWhitespace !FastString !OperatorWhitespaceOccurrence
PsWarnViewPatternSignatures !(LPat GhcPs) !(LPat GhcPs)	PsWarnViewPatternSignatures is a warning triggered by view patterns whose RHS is an unparenthesised pattern signature. It warns on code that is highly likely to break when the precedence of view patterns relative to pattern signatures is changed per GHC Proposal #281. The suggested fix is to add parentheses. Example: f1 (isJust -> True :: Bool) = () Suggested fix: f1 (isJust -> (True :: Bool)) = () Test cases: T24159_viewpat
PsErrLambdaCase	LambdaCase syntax used without the extension enabled
PsErrEmptyLambda	A lambda requires at least one parameter
PsErrNumUnderscores !NumUnderscoreReason	Underscores in literals without the extension enabled
PsErrPrimStringInvalidChar	Invalid character in primitive string
PsErrMissingBlock	Missing block
PsErrLexer !LexErr !LexErrKind	Lexer error
PsErrSuffixAT	Suffix occurrence of `@`
PsErrParse !String !PsErrParseDetails	Parse errors
PsErrCmmLexer	Cmm lexer error
PsErrUnsupportedBoxedSumExpr !(SumOrTuple (HsExpr GhcPs))	Unsupported boxed sum in expression
PsErrUnsupportedBoxedSumPat !(SumOrTuple (PatBuilder GhcPs))	Unsupported boxed sum in pattern
PsErrUnexpectedQualifiedConstructor !RdrName	Unexpected qualified constructor
PsErrTupleSectionInPat	Tuple section in pattern context
PsErrIllegalBangPattern !(Pat GhcPs)	Bang-pattern without BangPattterns enabled
PsErrOpFewArgs !StarIsType !RdrName	Operator applied to too few arguments
PsErrImportQualifiedTwice	Import: multiple occurrences of `qualified`
PsErrImportPostQualified	Post qualified import without `ImportQualifiedPost`
PsErrIllegalExplicitNamespace	Explicit namespace keyword without `ExplicitNamespaces`
PsErrVarForTyCon !RdrName	Expecting a type constructor but found a variable
PsErrIllegalPatSynExport	Illegal export form allowed by PatternSynonyms
PsErrMalformedEntityString	Malformed entity string
PsErrDotsInRecordUpdate	Dots used in record update
PsErrPrecedenceOutOfRange !Int	Precedence out of range
PsErrOverloadedRecordDotInvalid	Invalid use of record dot syntax `.`
PsErrOverloadedRecordUpdateNotEnabled	`OverloadedRecordUpdate` is not enabled.
PsErrOverloadedRecordUpdateNoQualifiedFields	Can't use qualified fields when OverloadedRecordUpdate is enabled.
PsErrInvalidDataCon !(HsType GhcPs)	Cannot parse data constructor in a data/newtype declaration
PsErrInvalidInfixDataCon !(HsType GhcPs) !RdrName !(HsType GhcPs)	Cannot parse data constructor in a data/newtype declaration
PsErrIllegalPromotionQuoteDataCon !RdrName	Illegal DataKinds quote mark in data/newtype constructor declaration
PsErrUnpackDataCon	UNPACK applied to a data constructor
PsErrUnexpectedKindAppInDataCon !DataConBuilder !(HsType GhcPs)	Unexpected kind application in data/newtype declaration
PsErrInvalidRecordCon !(PatBuilder GhcPs)	Not a record constructor
PsErrIllegalUnboxedStringInPat !(HsLit GhcPs)	Illegal unboxed string literal in pattern
PsErrIllegalUnboxedFloatingLitInPat !(HsLit GhcPs)	Illegal primitive floating point literal in pattern
PsErrDoNotationInPat	Do-notation in pattern
PsErrIfThenElseInPat	If-then-else syntax in pattern
PsErrLambdaInPat HsLamVariant	Lambda or Lambda-case in pattern
PsErrCaseInPat	case..of in pattern
PsErrLetInPat	let-syntax in pattern
PsErrArrowExprInPat !(HsExpr GhcPs)	Arrow expression-syntax in pattern
PsErrArrowCmdInPat !(HsCmd GhcPs)	Arrow command-syntax in pattern
PsErrArrowCmdInExpr !(HsCmd GhcPs)	Arrow command-syntax in expression
PsErrOrPatInExpr !(LPat GhcPs)	Or-pattern in expression
PsErrTypeAppWithoutSpace !RdrName !(LHsExpr GhcPs)	Type-application without space before `@`
PsErrLazyPatWithoutSpace !(LHsExpr GhcPs)	Lazy-pattern (`~`) without space after it
PsErrBangPatWithoutSpace !(LHsExpr GhcPs)	Bang-pattern (`!`) without space after it
PsErrUnallowedPragma !(HsPragE GhcPs)	Pragma not allowed in this position
PsErrQualifiedDoInCmd !ModuleName	Qualified do block in command
PsErrInvalidInfixHole	Invalid infix hole, expected an infix operator
PsErrSemiColonsInCondExpr	Unexpected semi-colons in conditional expression
Fields !(HsExpr GhcPs) conditional expr !Bool "then" semi-colon? !(HsExpr GhcPs) "then" expr !Bool "else" semi-colon? !(HsExpr GhcPs) "else" expr
PsErrSemiColonsInCondCmd	Unexpected semi-colons in conditional command
Fields !(HsExpr GhcPs) conditional expr !Bool "then" semi-colon? !(HsCmd GhcPs) "then" expr !Bool "else" semi-colon? !(HsCmd GhcPs) "else" expr
PsErrAtInPatPos	@-operator in a pattern position
PsErrCaseCmdInFunAppCmd !(LHsCmd GhcPs)	Unexpected case command in function application
PsErrLambdaCmdInFunAppCmd !HsLamVariant !(LHsCmd GhcPs)	Unexpected lambda or case(s) command in function application
PsErrIfCmdInFunAppCmd !(LHsCmd GhcPs)	Unexpected if command in function application
PsErrLetCmdInFunAppCmd !(LHsCmd GhcPs)	Unexpected let command in function application
PsErrDoCmdInFunAppCmd !(LHsCmd GhcPs)	Unexpected do command in function application
PsErrDoInFunAppExpr !(Maybe ModuleName) !(LHsExpr GhcPs)	Unexpected do block in function application
PsErrMDoInFunAppExpr !(Maybe ModuleName) !(LHsExpr GhcPs)	Unexpected mdo block in function application
PsErrCaseInFunAppExpr !(LHsExpr GhcPs)	Unexpected case expression in function application
PsErrLambdaInFunAppExpr !HsLamVariant !(LHsExpr GhcPs)	Unexpected lambda or case(s) expression in function application
PsErrLetInFunAppExpr !(LHsExpr GhcPs)	Unexpected let expression in function application
PsErrIfInFunAppExpr !(LHsExpr GhcPs)	Unexpected if expression in function application
PsErrProcInFunAppExpr !(LHsExpr GhcPs)	Unexpected proc expression in function application
PsErrMalformedTyOrClDecl !(LHsType GhcPs)	Malformed head of type or class declaration
PsErrIllegalWhereInDataDecl	Illegal 'where' keyword in data declaration
PsErrIllegalDataTypeContext !(LHsContext GhcPs)	Illegal datatype context
PsErrParseErrorOnInput !OccName	Parse error on input
PsErrMalformedDecl !SDoc !RdrName	Malformed ... declaration for ...
PsErrNotADataCon !RdrName	Not a data constructor
PsErrRecordSyntaxInPatSynDecl !(LPat GhcPs)	Record syntax used in pattern synonym declaration
PsErrEmptyWhereInPatSynDecl !RdrName	Empty 'where' clause in pattern-synonym declaration
PsErrInvalidWhereBindInPatSynDecl !RdrName !(HsDecl GhcPs)	Invalid binding name in 'where' clause of pattern-synonym declaration
PsErrNoSingleWhereBindInPatSynDecl !RdrName !(HsDecl GhcPs)	Multiple bindings in 'where' clause of pattern-synonym declaration
PsErrDeclSpliceNotAtTopLevel !(SpliceDecl GhcPs)	Declaration splice not a top-level
PsErrInferredTypeVarNotAllowed	Inferred type variables not allowed here
PsErrMultipleNamesInStandaloneKindSignature [LIdP GhcPs]	Multiple names in standalone kind signatures
PsErrIllegalImportBundleForm	Illegal import bundle form
PsErrIllegalRoleName !FastString [Role]	Illegal role name
PsErrInvalidTypeSignature !PsInvalidTypeSignature !(LHsExpr GhcPs)	Invalid type signature
PsErrUnexpectedTypeInDecl !(LHsType GhcPs) !SDoc !RdrName [LHsTypeArg GhcPs] !SDoc	Unexpected type in declaration
PsErrExpectedHyphen	Expected a hyphen
PsErrSpaceInSCC	Found a space in a SCC
PsErrEmptyDoubleQuotes	Found two single quotes
Fields !Bool Is TH on?
PsErrInvalidPackageName !FastString	Invalid package name
PsErrInvalidRuleActivationMarker	Invalid rule activation marker
PsErrLinearFunction	Linear function found but LinearTypes not enabled
PsErrMultiWayIf	Multi-way if-expression found but MultiWayIf not enabled
PsErrExplicitForall	Explicit forall found but no extension allowing it is enabled
Fields !Bool is Unicode forall?
PsErrIllegalQualifiedDo !SDoc	Found qualified-do without QualifiedDo enabled
PsErrCmmParser !CmmParserError	Cmm parser error
PsErrIllegalTraditionalRecordSyntax !SDoc	Illegal traditional record syntax TODO: distinguish errors without using SDoc
PsErrParseErrorInCmd !SDoc	Parse error in command TODO: distinguish errors without using SDoc
PsErrInPat !(PatBuilder GhcPs) !PsErrInPatDetails	Parse error in pattern
PsErrParseRightOpSectionInPat !RdrName !(PatBuilder GhcPs)	Parse error in right operator section pattern TODO: embed the proper operator, if possible
PsErrIllegalGadtRecordMultiplicity !(HsArrow GhcPs)	Illegal linear arrow or multiplicity annotation in GADT record syntax
PsErrInvalidCApiImport
PsErrMultipleConForNewtype !RdrName !Int
PsErrUnicodeCharLooksLike
Fields Char the problematic character Char the character it looks like String the name of the character that it looks like
PsErrInvalidPun !PsErrPunDetails
PsErrIllegalOrPat (LPat GhcPs)	Or pattern used without -XOrPatterns
PsErrTypeSyntaxInPat !PsErrTypeSyntaxDetails	Temporary error until GHC gains support for type syntax in patterns. Test cases: T24159_pat_parse_error_1 T24159_pat_parse_error_2 T24159_pat_parse_error_3 T24159_pat_parse_error_4 T24159_pat_parse_error_5 T24159_pat_parse_error_6

Instances

Instances details

Diagnostic PsMessage Source #

Instance details

Defined in GHC.Parser.Errors.Ppr

Associated Types

type DiagnosticOpts PsMessage
Instance details Defined in GHC.Parser.Errors.Ppr type DiagnosticOpts PsMessage = NoDiagnosticOpts

Methods

diagnosticMessage :: DiagnosticOpts PsMessage -> PsMessage -> DecoratedSDoc Source #

diagnosticReason :: PsMessage -> DiagnosticReason Source #

diagnosticHints :: PsMessage -> [GhcHint] Source #

diagnosticCode :: PsMessage -> Maybe DiagnosticCode Source #

Generic PsMessage Source #

Instance details

Defined in GHC.Parser.Errors.Types

Associated Types

type Rep PsMessage

Instance details

Defined in GHC.Parser.Errors.Types

Methods

from :: PsMessage -> Rep PsMessage x #

to :: Rep PsMessage x -> PsMessage #

type DiagnosticOpts PsMessage Source #

Instance details

Defined in GHC.Parser.Errors.Ppr

type DiagnosticOpts PsMessage = NoDiagnosticOpts

type Rep PsMessage Source #

Instance details

Defined in GHC.Parser.Errors.Types

data PsErrParseDetails Source #

Extra details about a parse error, which helps us in determining which should be the hints to suggest.

Constructors

PsErrParseDetails
Fields ped_th_enabled :: !Bool ped_do_in_last_100 :: !Bool Is there a 'do' in the last 100 characters? ped_mdo_in_last_100 :: !Bool Is there an `mdo` in the last 100 characters? ped_pat_syn_enabled :: !Bool Is `PatternSynonyms` enabled? ped_pattern_parsed :: !Bool Did we parse a "pattern" keyword?

data PsInvalidTypeSignature Source #

Constructors

PsErrInvalidTypeSig_Qualified
PsErrInvalidTypeSig_DataCon
PsErrInvalidTypeSig_Other

data PatIsRecursive Source #

Is the parsed pattern recursive?

Constructors

YesPatIsRecursive
NoPatIsRecursive

data PatIncompleteDoBlock Source #

Constructors

YesIncompleteDoBlock
NoIncompleteDoBlock

Instances

Instances details

Eq PatIncompleteDoBlock Source #
Instance details Defined in GHC.Parser.Errors.Types Methods (==) :: PatIncompleteDoBlock -> PatIncompleteDoBlock -> Bool # (/=) :: PatIncompleteDoBlock -> PatIncompleteDoBlock -> Bool #

data ParseContext Source #

Extra information for the expression GHC is currently inspecting/parsing. It can be used to generate more informative parser diagnostics and hints.

Constructors

ParseContext
Fields is_infix :: !(Maybe RdrName) If `Just`, this is an infix pattern with the bound operator name incomplete_do_block :: !PatIncompleteDoBlock Did the parser likely fail due to an incomplete do block?

Instances

Instances details

Eq ParseContext Source #
Instance details Defined in GHC.Parser.Errors.Types Methods (==) :: ParseContext -> ParseContext -> Bool # (/=) :: ParseContext -> ParseContext -> Bool #

data PsErrInPatDetails Source #

Constructors

PEIP_NegApp	Negative application pattern?
PEIP_TypeArgs [HsConPatTyArg GhcPs]	The list of type arguments for the pattern
PEIP_RecPattern
Fields [LPat GhcPs] The pattern arguments !PatIsRecursive Is the parsed pattern recursive? !ParseContext
PEIP_OtherPatDetails !ParseContext

data PsErrPunDetails Source #

Constructors

PEP_QuoteDisambiguation
PEP_TupleSyntaxType
PEP_SumSyntaxType

data PsErrTypeSyntaxDetails Source #

Constructors

PETS_FunctionArrow !(LocatedA (PatBuilder GhcPs)) !(HsArrowOf (LocatedA (PatBuilder GhcPs)) GhcPs) !(LocatedA (PatBuilder GhcPs))
PETS_Multiplicity !(EpToken "%") !(LocatedA (PatBuilder GhcPs))
PETS_ForallTelescope !(HsForAllTelescope GhcPs) !(LocatedA (PatBuilder GhcPs))
PETS_ConstraintContext !(LocatedA (PatBuilder GhcPs))

noParseContext :: ParseContext Source #

incompleteDoBlock :: ParseContext Source #

fromParseContext :: ParseContext -> PsErrInPatDetails Source #

Builds a PsErrInPatDetails with the information provided by the ParseContext.

data NumUnderscoreReason Source #

Constructors

NumUnderscore_Integral
NumUnderscore_Float

Instances

Instances details

Show NumUnderscoreReason Source #
Instance details Defined in GHC.Parser.Errors.Types Methods showsPrec :: Int -> NumUnderscoreReason -> ShowS # show :: NumUnderscoreReason -> String # showList :: [NumUnderscoreReason] -> ShowS #
Eq NumUnderscoreReason Source #
Instance details Defined in GHC.Parser.Errors.Types Methods (==) :: NumUnderscoreReason -> NumUnderscoreReason -> Bool # (/=) :: NumUnderscoreReason -> NumUnderscoreReason -> Bool #
Ord NumUnderscoreReason Source #
Instance details Defined in GHC.Parser.Errors.Types Methods compare :: NumUnderscoreReason -> NumUnderscoreReason -> Ordering # (<) :: NumUnderscoreReason -> NumUnderscoreReason -> Bool # (<=) :: NumUnderscoreReason -> NumUnderscoreReason -> Bool # (>) :: NumUnderscoreReason -> NumUnderscoreReason -> Bool # (>=) :: NumUnderscoreReason -> NumUnderscoreReason -> Bool # max :: NumUnderscoreReason -> NumUnderscoreReason -> NumUnderscoreReason # min :: NumUnderscoreReason -> NumUnderscoreReason -> NumUnderscoreReason #

data LexErrKind Source #

Constructors

LexErrKind_EOF	End of input
LexErrKind_UTF8	UTF-8 decoding error
LexErrKind_Char !Char	Error at given character

Instances

Instances details

Show LexErrKind Source #
Instance details Defined in GHC.Parser.Errors.Types Methods showsPrec :: Int -> LexErrKind -> ShowS # show :: LexErrKind -> String # showList :: [LexErrKind] -> ShowS #
Eq LexErrKind Source #
Instance details Defined in GHC.Parser.Errors.Types Methods (==) :: LexErrKind -> LexErrKind -> Bool # (/=) :: LexErrKind -> LexErrKind -> Bool #
Ord LexErrKind Source #
Instance details Defined in GHC.Parser.Errors.Types Methods compare :: LexErrKind -> LexErrKind -> Ordering # (<) :: LexErrKind -> LexErrKind -> Bool # (<=) :: LexErrKind -> LexErrKind -> Bool # (>) :: LexErrKind -> LexErrKind -> Bool # (>=) :: LexErrKind -> LexErrKind -> Bool # max :: LexErrKind -> LexErrKind -> LexErrKind # min :: LexErrKind -> LexErrKind -> LexErrKind #

data LexErr Source #

Constructors

LexError	Lexical error
LexUnknownPragma	Unknown pragma
LexErrorInPragma	Lexical error in pragma
LexNumEscapeRange	Numeric escape sequence out of range
LexUnterminatedComment	Unterminated `{-'
LexUnterminatedOptions	Unterminated OPTIONS pragma
LexUnterminatedQQ	Unterminated quasiquotation

data CmmParserError Source #

Errors from the Cmm parser

Constructors

CmmUnknownPrimitive !FastString	Unknown Cmm primitive
CmmUnknownMacro !FastString	Unknown macro
CmmUnknownCConv !String	Unknown calling convention
CmmUnrecognisedSafety !String	Unrecognised safety
CmmUnrecognisedHint !String	Unrecognised hint

data TransLayoutReason Source #

Constructors

TransLayout_Where	"`where' clause at the same depth as implicit layout block"
TransLayout_Pipe	"`\|' at the same depth as implicit layout block")

data FileHeaderPragmaType Source #

Constructors

OptionsPrag
IncludePrag
LanguagePrag
DocOptionsPrag