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