Mercurial > urweb

comparison src/lacweb.lex @ 88:7bab29834cd6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Constraints in modules
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 15:58:02 -0400
parents e86370850c30
children 4327abd52997
comparison
equal deleted inserted replaced
87:275aaeb73f1f 88:7bab29834cd6
158 <INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext)); 158 <INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext));
159 <INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext)); 159 <INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext));
160 <INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext)); 160 <INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext));
161 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext)); 161 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext));
162 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext)); 162 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext));
163 <INITIAL> "constraint"=> (Tokens.CONSTRAINT (pos yypos, pos yypos + size yytext));
164 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext));
163 165
164 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 166 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
165 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 167 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
166 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext)); 168 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));
167 169