Mercurial > urweb
comparison src/lacweb.lex @ 30:e6ccf961d8a3
Parsing and printing basic module system
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 12 Jun 2008 14:04:22 -0400 |
parents | 9a578171de9e |
children | 1c91c5e6840f |
comparison
equal
deleted
inserted
replaced
29:537db4ee89f4 | 30:e6ccf961d8a3 |
---|---|
126 <INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext)); | 126 <INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext)); |
127 <INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext)); | 127 <INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext)); |
128 <INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext)); | 128 <INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext)); |
129 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext)); | 129 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext)); |
130 | 130 |
131 <INITIAL> "structure" => (Tokens.STRUCTURE (yypos, yypos + size yytext)); | |
132 <INITIAL> "signature" => (Tokens.STRUCTURE (yypos, yypos + size yytext)); | |
133 <INITIAL> "struct" => (Tokens.STRUCT (yypos, yypos + size yytext)); | |
134 <INITIAL> "sig" => (Tokens.SIG (yypos, yypos + size yytext)); | |
135 <INITIAL> "end" => (Tokens.END (yypos, yypos + size yytext)); | |
136 | |
131 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext)); | 137 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext)); |
132 <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext)); | 138 <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext)); |
133 | 139 |
134 <INITIAL> {id} => (Tokens.SYMBOL (yytext, yypos, yypos + size yytext)); | 140 <INITIAL> {id} => (Tokens.SYMBOL (yytext, yypos, yypos + size yytext)); |
135 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, yypos, yypos + size yytext)); | 141 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, yypos, yypos + size yytext)); |