diff src/compiler.sml @ 1173:983d9b38abc7

Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Feb 2010 15:46:41 -0500
parents 7a2a7a8f9cab
children 618f9f458da9
line wrap: on
line diff
--- a/src/compiler.sml	Sun Feb 28 13:06:10 2010 -0500
+++ b/src/compiler.sml	Sun Feb 28 15:46:41 2010 -0500
@@ -292,7 +292,8 @@
                 fun hasSpaceLine () =
                     case TextIO.inputLine inf of
                         NONE => false
-                      | SOME s => CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine ()
+                      | SOME s => s = "debug\n" orelse s = "profile\n"
+                                  orelse CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine ()
 
                 val hasBlankLine = hasSpaceLine ()