Technique.Failure

Error messages from compiling.

Documentation

data Status

Constructors

Ok

Failed CompilationError

Reload

Instances

Render Status

Defined in Technique.Failure

Associated Types

type Token Status

Methods

colourize :: Token Status -> AnsiColour

highlight :: Status -> Doc (Token Status)

type Token Status

Defined in Technique.Failure

type Token Status = TechniqueToken

data Source

Constructors

Source

Fields

• sourceContents :: Rope
• sourceFilename :: FilePath
• sourceOffset :: !Offset

Instances

Eq Source

Defined in Technique.Failure

Methods

(==) :: Source -> Source -> Bool

(/=) :: Source -> Source -> Bool

Ord Source

Defined in Technique.Failure

Methods

compare :: Source -> Source -> Ordering

(<) :: Source -> Source -> Bool

(<=) :: Source -> Source -> Bool

(>) :: Source -> Source -> Bool

(>=) :: Source -> Source -> Bool

max :: Source -> Source -> Source

min :: Source -> Source -> Source

Show Source

Defined in Technique.Failure

Methods

showsPrec :: Int -> Source -> ShowS

show :: Source -> String

showList :: [Source] -> ShowS

Render Source

Defined in Technique.Failure

Associated Types

type Token Source

Methods

colourize :: Token Source -> AnsiColour

highlight :: Source -> Doc (Token Source)

Located Source

Defined in Technique.Failure

Methods

locationOf :: Source -> Offset

type Token Source

Defined in Technique.Failure

type Token Source = TechniqueToken

emptySource :: Source

data FailureReason

Constructors

InvalidSetup

ParsingFailed [ErrorItem Char] [ErrorItem Char]

VariableAlreadyInUse Identifier

ProcedureAlreadyDeclared Identifier

CallToUnknownProcedure Identifier

UseOfUnknownIdentifier Identifier

EncounteredUndefined

Instances

Enum FailureReason

Defined in Technique.Failure

Methods

succ :: FailureReason -> FailureReason

pred :: FailureReason -> FailureReason

toEnum :: Int -> FailureReason

fromEnum :: FailureReason -> Int

enumFrom :: FailureReason -> [FailureReason]

enumFromThen :: FailureReason -> FailureReason -> [FailureReason]

enumFromTo :: FailureReason -> FailureReason -> [FailureReason]

enumFromThenTo :: FailureReason -> FailureReason -> FailureReason -> [FailureReason]

Eq FailureReason

Defined in Technique.Failure

Methods

(==) :: FailureReason -> FailureReason -> Bool

(/=) :: FailureReason -> FailureReason -> Bool

Show FailureReason

Defined in Technique.Failure

Methods

showsPrec :: Int -> FailureReason -> ShowS

show :: FailureReason -> String

showList :: [FailureReason] -> ShowS

Render FailureReason

Defined in Technique.Failure

Associated Types

type Token FailureReason

Methods

colourize :: Token FailureReason -> AnsiColour

highlight :: FailureReason -> Doc (Token FailureReason)

type Token FailureReason

Defined in Technique.Failure

type Token FailureReason = TechniqueToken

data CompilationError

Constructors

CompilationError Source FailureReason

Instances

Show CompilationError

Defined in Technique.Failure

Methods

showsPrec :: Int -> CompilationError -> ShowS

show :: CompilationError -> String

showList :: [CompilationError] -> ShowS

Exception CompilationError

Defined in Technique.Failure

Methods

toException :: CompilationError -> SomeException

fromException :: SomeException -> Maybe CompilationError

displayException :: CompilationError -> String

Render CompilationError

Defined in Technique.Failure

Associated Types

type Token CompilationError

Methods

colourize :: Token CompilationError -> AnsiColour

highlight :: CompilationError -> Doc (Token CompilationError)

MonadError CompilationError Translate

Defined in Technique.Translate

Methods

throwError :: CompilationError -> Translate a

catchError :: Translate a -> (CompilationError -> Translate a) -> Translate a

type Token CompilationError

Defined in Technique.Failure

type Token CompilationError = TechniqueToken

exitCodeFor :: CompilationError -> Int

fancyPunctuate :: [Doc ann] -> [Doc ann]

formatErrorItem :: TechniqueToken -> ErrorItem Char -> Doc TechniqueToken

ErrorItem is a bit overbearing, but we handle its four cases by saying single quotes around characters, double quotes around strings, no quotes around labels (descriptive text) and hard code the end of input and newline cases.

numberOfCarots :: FailureReason -> Int

extractErrorBundle :: Source -> ParseErrorBundle Text Void -> CompilationError

When we get a failure in the parsing stage **megaparsec** returns a ParseErrorBundle. Extract the first error message therein (later handle more? Yeah nah), and convert it into something we can use.

extractParseError :: ParseError Text Void -> (Int, [ErrorItem Char], [ErrorItem Char])