diff src/lacweb.lex @ 8:a455a9f85cc3

Parsing basic expressions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:10:26 -0500
parents 2ce5bf227d01
children f1c36df29ed7
line wrap: on
line diff
--- a/src/lacweb.lex	Sat Jan 26 16:51:39 2008 -0500
+++ b/src/lacweb.lex	Sat Jan 26 17:10:26 2008 -0500
@@ -110,6 +110,7 @@
 
 <INITIAL> "con"       => (Tokens.CON (yypos, yypos + size yytext));
 <INITIAL> "type"      => (Tokens.LTYPE (yypos, yypos + size yytext));
+<INITIAL> "val"       => (Tokens.VAL (yypos, yypos + size yytext));
 <INITIAL> "fn"        => (Tokens.FN (yypos, yypos + size yytext));
 
 <INITIAL> "Type"      => (Tokens.TYPE (yypos, yypos + size yytext));