From ac2c539c79aeead75760f37285bd29169c0e8e6d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Mar 2009 14:37:31 -0400
Subject: Type class reductions, but no inclusions yet

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

(limited to 'src/urweb.lex')

diff --git a/src/urweb.lex b/src/urweb.lex
index cbbf2a52..4a7ceaeb 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -254,6 +254,7 @@ notags = [^<{\n]+;
 <INITIAL> "++"        => (Tokens.PLUSPLUS (pos yypos, pos yypos + size yytext));
 <INITIAL> "--"        => (Tokens.MINUSMINUS (pos yypos, pos yypos + size yytext));
 <INITIAL> "---"       => (Tokens.MINUSMINUSMINUS (pos yypos, pos yypos + size yytext));
+<INITIAL> "^"         => (Tokens.CARET (pos yypos, pos yypos + size yytext));
 
 <INITIAL> "="         => (Tokens.EQ (pos yypos, pos yypos + size yytext));
 <INITIAL> "<>"        => (Tokens.NE (pos yypos, pos yypos + size yytext));
-- 
cgit v1.2.3