X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=lex.dcl;h=e78d495a938dfe2fe934934f3a2bc168333f4329;hb=a8130cb2a970f385a7da0e2a8f7b02c1cb1a7639;hp=7e41bc3c28b85693819e2c833d9470a8c2808047;hpb=e3f049be4fb2ed9b7f675f06a9a525c81af9946c;p=cc1516.git diff --git a/lex.dcl b/lex.dcl index 7e41bc3..e78d495 100644 --- a/lex.dcl +++ b/lex.dcl @@ -1,11 +1,16 @@ definition module lex -import Data.Either +from Data.Either import :: Either +from yard import :: Error -:: Token +:: Token = { + line :: Int, + column :: Int, + token :: TokenValue} +:: TokenValue //Value tokens - = IdentToken [Char] // Identifier - | NumberToken [Char]// Integer + = IdentToken String // Identifier + | NumberToken Int // Integer | CharToken Char // Character literal //Keyword tokens | VarToken // var keyword @@ -28,6 +33,7 @@ import Data.Either | AmpersandsToken // && | PipesToken // || | ArrowToken // -> + | EmptyListToken // [] //One character tokens | BraceOpenToken // ( | BraceCloseToken // ) @@ -51,6 +57,6 @@ import Data.Either //Special tokens | EndOfFileToken // EOF -:: LexerOutput :== Either String [Token] +:: LexerOutput :== Either Error [Token] lexer :: [Char] -> LexerOutput