# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1284665690 14400
# Node ID 3c334458c84fbaa5ddcbfe449fe77bddcbf5c254
# Parent  e665527fce1ccea5c00b12107aae1df84e20ac31
Fix typing of cut operators; fix lexing of XML comments

diff -r e665527fce1c -r 3c334458c84f src/elaborate.sml
--- a/src/elaborate.sml	Thu Sep 09 12:42:25 2010 -0400
+++ b/src/elaborate.sml	Thu Sep 16 15:34:50 2010 -0400
@@ -1998,6 +1998,7 @@
                             
                 val gs3 = D.prove env denv (first, rest, loc)
             in
+                checkKind env c' ck kname;
                 ((L'.ECut (e', c', {field = ft, rest = rest}), loc), (L'.TRecord rest, loc),
                  gs1 @ enD gs2 @ enD gs3)
             end
@@ -2013,6 +2014,7 @@
                             
                 val gs3 = D.prove env denv (c', rest, loc)
             in
+                checkKind env c' ck (L'.KRecord ktype, loc);
                 ((L'.ECutMulti (e', c', {rest = rest}), loc), (L'.TRecord rest, loc),
                  gs1 @ enD gs2 @ enD gs3)
             end
diff -r e665527fce1c -r 3c334458c84f src/urweb.lex
--- a/src/urweb.lex	Thu Sep 09 12:42:25 2010 -0400
+++ b/src/urweb.lex	Thu Sep 16 15:34:50 2010 -0400
@@ -172,7 +172,7 @@
 ws = [\ \t\012];
 intconst = [0-9]+;
 realconst = [0-9]+\.[0-9]*;
-notags = [^<{\n(]+;
+notags = ([^<{\n(]|(\([^\*]))+;
 xcom = ([^\-]|(-[^\-]))+;
 oint = [0-9][0-9][0-9];
 xint = x[0-9a-fA-F][0-9a-fA-F];