comparison src/lacweb.lex @ 190:3eb53c957d10

Checkboxes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Aug 2008 13:09:26 -0400
parents 7ee424760d2f
children 85b5f663bb86
comparison
equal deleted inserted replaced
189:20bf7487c370 190:3eb53c957d10
259 <INITIAL> "rec" => (Tokens.REC (pos yypos, pos yypos + size yytext)); 259 <INITIAL> "rec" => (Tokens.REC (pos yypos, pos yypos + size yytext));
260 <INITIAL> "and" => (Tokens.AND (pos yypos, pos yypos + size yytext)); 260 <INITIAL> "and" => (Tokens.AND (pos yypos, pos yypos + size yytext));
261 <INITIAL> "fn" => (Tokens.FN (pos yypos, pos yypos + size yytext)); 261 <INITIAL> "fn" => (Tokens.FN (pos yypos, pos yypos + size yytext));
262 <INITIAL> "fold" => (Tokens.FOLD (pos yypos, pos yypos + size yytext)); 262 <INITIAL> "fold" => (Tokens.FOLD (pos yypos, pos yypos + size yytext));
263 <INITIAL> "case" => (Tokens.CASE (pos yypos, pos yypos + size yytext)); 263 <INITIAL> "case" => (Tokens.CASE (pos yypos, pos yypos + size yytext));
264 <INITIAL> "if" => (Tokens.IF (pos yypos, pos yypos + size yytext));
265 <INITIAL> "then" => (Tokens.THEN (pos yypos, pos yypos + size yytext));
266 <INITIAL> "else" => (Tokens.ELSE (pos yypos, pos yypos + size yytext));
264 267
265 <INITIAL> "structure" => (Tokens.STRUCTURE (pos yypos, pos yypos + size yytext)); 268 <INITIAL> "structure" => (Tokens.STRUCTURE (pos yypos, pos yypos + size yytext));
266 <INITIAL> "signature" => (Tokens.SIGNATURE (pos yypos, pos yypos + size yytext)); 269 <INITIAL> "signature" => (Tokens.SIGNATURE (pos yypos, pos yypos + size yytext));
267 <INITIAL> "struct" => (Tokens.STRUCT (pos yypos, pos yypos + size yytext)); 270 <INITIAL> "struct" => (Tokens.STRUCT (pos yypos, pos yypos + size yytext));
268 <INITIAL> "sig" => (if yypos = 2 then initialSig () else (); Tokens.SIG (pos yypos, pos yypos + size yytext)); 271 <INITIAL> "sig" => (if yypos = 2 then initialSig () else (); Tokens.SIG (pos yypos, pos yypos + size yytext));