Mercurial > urweb
comparison src/urweb.lex @ 2122:8cf40452c900
Some new infix operators, contributed by Gabriel Riba
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 05 Mar 2015 14:50:31 -0500 |
parents | d4ed20beb93b |
children | f3c24e6790ba |
comparison
equal
deleted
inserted
replaced
2121:f89be9cd2087 | 2122:8cf40452c900 |
---|---|
374 <INITIAL> "^" => (Tokens.CARET (pos yypos, pos yypos + size yytext)); | 374 <INITIAL> "^" => (Tokens.CARET (pos yypos, pos yypos + size yytext)); |
375 | 375 |
376 <INITIAL> "&&" => (Tokens.ANDALSO (pos yypos, pos yypos + size yytext)); | 376 <INITIAL> "&&" => (Tokens.ANDALSO (pos yypos, pos yypos + size yytext)); |
377 <INITIAL> "||" => (Tokens.ORELSE (pos yypos, pos yypos + size yytext)); | 377 <INITIAL> "||" => (Tokens.ORELSE (pos yypos, pos yypos + size yytext)); |
378 | 378 |
379 <INITIAL> "<<<" => (Tokens.COMPOSE (pos yypos, pos yypos + size yytext)); | |
380 <INITIAL> ">>>" => (Tokens.ANDTHEN (pos yypos, pos yypos + size yytext)); | |
381 <INITIAL> "<|" => (Tokens.FWDAPP (pos yypos, pos yypos + size yytext)); | |
382 <INITIAL> "|>" => (Tokens.REVAPP (pos yypos, pos yypos + size yytext)); | |
383 | |
384 <INITIAL> "`" ({cid} ".")* {id} "`" => (Tokens.BACKTICK_PATH ( (* strip backticks *) | |
385 substring (yytext,1,size yytext -2), | |
386 pos yypos, pos yypos + size yytext)); | |
387 | |
379 <INITIAL> "=" => (Tokens.EQ (pos yypos, pos yypos + size yytext)); | 388 <INITIAL> "=" => (Tokens.EQ (pos yypos, pos yypos + size yytext)); |
380 <INITIAL> "<>" => (Tokens.NE (pos yypos, pos yypos + size yytext)); | 389 <INITIAL> "<>" => (Tokens.NE (pos yypos, pos yypos + size yytext)); |
381 <INITIAL> "<" => (Tokens.LT (pos yypos, pos yypos + size yytext)); | 390 <INITIAL> "<" => (Tokens.LT (pos yypos, pos yypos + size yytext)); |
382 <INITIAL> ">" => (Tokens.GT (pos yypos, pos yypos + size yytext)); | 391 <INITIAL> ">" => (Tokens.GT (pos yypos, pos yypos + size yytext)); |
383 <INITIAL> "<=" => (Tokens.LE (pos yypos, pos yypos + size yytext)); | 392 <INITIAL> "<=" => (Tokens.LE (pos yypos, pos yypos + size yytext)); |