# HG changeset patch # User Adam Chlipala # Date 1281466353 14400 # Node ID 43ca083678f83b415ce37f893b005e5e4b40a581 # Parent b04354e24d1ba9fb8518e097cad0cfedad39131c HTML comments diff -r b04354e24d1b -r 43ca083678f8 src/urweb.lex --- a/src/urweb.lex Tue Aug 10 14:44:26 2010 -0400 +++ b/src/urweb.lex Tue Aug 10 14:52:33 2010 -0400 @@ -173,6 +173,7 @@ intconst = [0-9]+; realconst = [0-9]+\.[0-9]*; notags = [^<{\n(]+; +xcom = ([^-]|(-[^-]))+; oint = [0-9][0-9][0-9]; xint = x[0-9a-fA-F][0-9a-fA-F]; @@ -207,6 +208,8 @@ "*)" => (exitComment (); continue ()); + "" => (continue ()); + "\\\"" => (str := #"\"" :: !str; continue()); "\\'" => (str := #"'" :: !str; continue()); "\\n" => (str := #"\n" :: !str; continue()); diff -r b04354e24d1b -r 43ca083678f8 tests/xcomments.ur --- a/tests/xcomments.ur Tue Aug 10 14:44:26 2010 -0400 +++ b/tests/xcomments.ur Tue Aug 10 14:52:33 2010 -0400 @@ -4,5 +4,7 @@ fun main () = return A (* B *) C (* D (* E *) F *) D
- A (* B *) C D (* E *) F {foo ()} + A (* B *) C D (* E *) F {foo ()} + A C D
+ A C D F {foo ()}