Mercurial > urweb

comparison src/lacweb.lex @ 82:b4f2a258e52c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial disjointness prover
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 10:55:38 -0400
parents 9f89f0b00b84
children e86370850c30
comparison
equal deleted inserted replaced
81:60d97de1bbe8 82:b4f2a258e52c
118 Tokens.STRING (String.implode (List.rev (!str)), !strStart, pos yypos + 1)); 118 Tokens.STRING (String.implode (List.rev (!str)), !strStart, pos yypos + 1));
119 <STRING> "\n" => (newline yypos; 119 <STRING> "\n" => (newline yypos;
120 str := #"\n" :: !str; continue()); 120 str := #"\n" :: !str; continue());
121 <STRING> . => (str := String.sub (yytext, 0) :: !str; continue()); 121 <STRING> . => (str := String.sub (yytext, 0) :: !str; continue());
122 122
123 <INITIAL> "()" => (Tokens.UNIT (pos yypos, pos yypos + size yytext));
123 <INITIAL> "(" => (Tokens.LPAREN (pos yypos, pos yypos + size yytext)); 124 <INITIAL> "(" => (Tokens.LPAREN (pos yypos, pos yypos + size yytext));
124 <INITIAL> ")" => (Tokens.RPAREN (pos yypos, pos yypos + size yytext)); 125 <INITIAL> ")" => (Tokens.RPAREN (pos yypos, pos yypos + size yytext));
125 <INITIAL> "[" => (Tokens.LBRACK (pos yypos, pos yypos + size yytext)); 126 <INITIAL> "[" => (Tokens.LBRACK (pos yypos, pos yypos + size yytext));
126 <INITIAL> "]" => (Tokens.RBRACK (pos yypos, pos yypos + size yytext)); 127 <INITIAL> "]" => (Tokens.RBRACK (pos yypos, pos yypos + size yytext));
127 <INITIAL> "{" => (Tokens.LBRACE (pos yypos, pos yypos + size yytext)); 128 <INITIAL> "{" => (Tokens.LBRACE (pos yypos, pos yypos + size yytext));
159 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext)); 160 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext));
160 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext)); 161 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext));
161 162
162 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 163 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
163 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 164 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
165 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));
164 166
165 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 167 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
166 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); 168 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
167 169
168 <INITIAL> {intconst} => (case Int64.fromString yytext of 170 <INITIAL> {intconst} => (case Int64.fromString yytext of