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));