lex.dcl

   1 definition module lex
   2
   3 import Data.Either
   4
   5 :: Token :== (Int, TokenValue)
   6 :: TokenValue
   7         //Value tokens
   8         = IdentToken [Char] // Identifier
   9         | NumberToken Int   // Integer
  10         | CharToken Char    // Character literal
  11         //Keyword tokens
  12         | VarToken          // var keyword
  13         | ReturnToken       // return keyword
  14         | IfToken           // if keyword
  15         | ElseToken         // else keyword
  16         | WhileToken        // while keyword
  17         | TrueToken         // True keyword
  18         | FalseToken        // False keyword
  19         | VoidToken         // Void keyword
  20         | IntTypeToken      // Int keyword
  21         | CharTypeToken     // Char keyword
  22         | BoolTypeToken     // Bool keyword
  23         //Two character tokens
  24         | DoubleColonToken  // ::
  25         | NotEqualToken     // !=
  26         | LesserEqToken     // <=
  27         | GreaterEqToken    // >=
  28         | EqualsToken       // ==
  29         | AmpersandsToken   // &&
  30         | PipesToken        // ||
  31     | ArrowToken        // ->
  32         //One character tokens
  33         | BraceOpenToken    // (
  34         | BraceCloseToken   // )
  35         | CBraceOpenToken   // {
  36         | CBraceCloseToken  // }
  37         | SquareOpenToken   // [
  38         | SquareCloseToken  // ]
  39         | CommaToken        // ,
  40         | ColonToken        // :
  41         | SColonToken       // ;
  42         | DotToken          // .
  43         | PlusToken         // +
  44         | DashToken         // -
  45         | StarToken         // *
  46         | SlashToken        // /
  47         | PercentToken      // %
  48         | AssignmentToken   // =
  49         | LesserToken       // <
  50         | BiggerToken       // >
  51         | ExclamationToken  // !
  52         //Special tokens
  53         | EndOfFileToken    // EOF
  54
  55 :: LexerOutput :== Either String [Token]
  56
  57 lexer :: [Char] -> LexerOutput