X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=lex.dcl;h=d1daf7cf991b6b3a6ae7a022f4fad3fce51314eb;hb=889d4798a0da64d76422da98378f5e5c35f0bf32;hp=56c3765319aa20a5e2293816785c7bf84034d58c;hpb=011c22770609138b54195d330232bc2a1e88d0ae;p=cc1516.git diff --git a/lex.dcl b/lex.dcl index 56c3765..d1daf7c 100644 --- a/lex.dcl +++ b/lex.dcl @@ -5,22 +5,34 @@ import Data.Either :: Token //Value tokens = IdentToken [Char] // Identifier - | NumberToken Int // Integer + | NumberToken [Char]// Integer | CharToken Char // Character literal //Keyword tokens | VarToken // var keyword - | VoidToken // void keyword | ReturnToken // return keyword | IfToken // if keyword | ElseToken // else keyword | WhileToken // while keyword | TrueToken // True keyword | FalseToken // False keyword + | VoidToken // Void keyword + | IntTypeToken // Int keyword + | CharTypeToken // Char keyword + | BoolTypeToken // Bool keyword + //Two character tokens + | DoubleColonToken // :: + | NotEqualToken // != + | LesserEqToken // <= + | GreaterEqToken // >= + | EqualsToken // == + | AmpersandsToken // && + | PipesToken // || + | ArrowToken // -> //One character tokens | BraceOpenToken // ( | BraceCloseToken // ) | CBraceOpenToken // { - | CBraceCloseToken // { + | CBraceCloseToken // } | SquareOpenToken // [ | SquareCloseToken // ] | CommaToken // , @@ -36,15 +48,11 @@ import Data.Either | LesserToken // < | BiggerToken // > | ExclamationToken // ! - //Two character tokens - | DoubleColonToken // :: - | LesserEqToken // <= - | GreaterEqToken // >= - | EqualsToken // == - | AmpersandsToken // && - | PipesToken // || - | ArrowToken // -> + //Special tokens + | EndOfFileToken // EOF :: LexerOutput :== Either String [Token] +instance toString LexerOutput + lexer :: [Char] -> LexerOutput