From 70232ad319a6d86aa1302976919e4c1b126a36f8 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 Nov 2008 10:47:10 -0400
Subject: Parsing 'let'

---
 src/urweb.lex | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/urweb.lex')

diff --git a/src/urweb.lex b/src/urweb.lex
index cc0f5b7c..d5393e7d 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -299,6 +299,8 @@ notags = [^<{\n]+;
 <INITIAL> "signature" => (Tokens.SIGNATURE (pos yypos, pos yypos + size yytext));
 <INITIAL> "struct"    => (Tokens.STRUCT (pos yypos, pos yypos + size yytext));
 <INITIAL> "sig"       => (if yypos = 2 then initialSig () else (); Tokens.SIG (pos yypos, pos yypos + size yytext));
+<INITIAL> "let"       => (Tokens.LET (pos yypos, pos yypos + size yytext));
+<INITIAL> "in"        => (Tokens.IN (pos yypos, pos yypos + size yytext));
 <INITIAL> "end"       => (Tokens.END (pos yypos, pos yypos + size yytext));
 <INITIAL> "functor"   => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext));
 <INITIAL> "where"     => (Tokens.WHERE (pos yypos, pos yypos + size yytext));
-- 
cgit v1.2.3