X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/dac62e84b324d2187ec9b9882efa47125d5599a4..6f1dbd13f89e8d9c96accf9a37bdf0d41d8da7ce:/src/domtool.lex diff --git a/src/domtool.lex b/src/domtool.lex index 5e40aa2..65ceda1 100644 --- a/src/domtool.lex +++ b/src/domtool.lex @@ -115,6 +115,7 @@ lineComment = #[^\n]*\n; "=" => (Tokens.EQ (yypos, yypos + size yytext)); "," => (Tokens.COMMA (yypos, yypos + size yytext)); + "\\\\" => (Tokens.BSLASHBSLASH (yypos, yypos + size yytext)); "\\" => (Tokens.BSLASH (yypos, yypos + size yytext)); ":" => (Tokens.COLON (yypos, yypos + size yytext)); ";" => (Tokens.SEMI (yypos, yypos + size yytext)); @@ -124,13 +125,21 @@ lineComment = #[^\n]*\n; "let" => (Tokens.LET (yypos, yypos + size yytext)); "in" => (Tokens.IN (yypos, yypos + size yytext)); + "begin" => (Tokens.BEGIN (yypos, yypos + size yytext)); "end" => (Tokens.END (yypos, yypos + size yytext)); "with" => (Tokens.WITH (yypos, yypos + size yytext)); "where" => (Tokens.WHERE (yypos, yypos + size yytext)); + "if" => (Tokens.IF (yypos, yypos + size yytext)); + "then" => (Tokens.THEN (yypos, yypos + size yytext)); + "else" => (Tokens.ELSE (yypos, yypos + size yytext)); + "Skip" => (Tokens.SKIP (yypos, yypos + size yytext)); + "extern" => (Tokens.EXTERN (yypos, yypos + size yytext)); "type" => (Tokens.TYPE (yypos, yypos + size yytext)); "val" => (Tokens.VAL (yypos, yypos + size yytext)); + "var" => (Tokens.ENV (yypos, yypos + size yytext)); + "context" => (Tokens.CONTEXT (yypos, yypos + size yytext)); "Root" => (Tokens.ROOT (yypos, yypos + size yytext));