ren-lang / compiler / Ren.Compiler.Error


type Error
    = ParseError (List (Parser.Advanced.DeadEnd ParseContext ParseError))
    | TypeError TypeError


type ParseError


type ParseContext
    = InImport
    | InDeclaration
    | InExpr
    | InIf
    | InAnnotation

expectingKeyword : String -> ParseError

expectingSymbol : String -> ParseError

expectingOperator : String -> ParseError

expectingChar : ParseError

expectingNumber : ParseError

expectingEOF : ParseError

expectingWhitespace : ParseError

expectingCamelCase : ParseError

expectingCapitalCase : ParseError

expectingExpr : ParseError

expectingType : ParseError

unexpectedChar : Char -> ParseError

internalParseError : String -> ParseError


type TypeError

infiniteType : Ren.Data.Type.Type -> Ren.Data.Type.Type -> TypeError

incompatibleTypes : Ren.Data.Type.Type -> Ren.Data.Type.Type -> TypeError

missingField : String -> TypeError

typeTooGeneral : Ren.Data.Type.Type -> Ren.Data.Type.Type -> TypeError

arityMismatch : String -> Basics.Int -> Basics.Int -> TypeError

unknownType : Ren.Data.Type.Type -> TypeError

internalTypeError : String -> TypeError

toString : Error -> String