comparison 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
comparison
equal deleted inserted replaced
1172:ad15700272f6 1173:983d9b38abc7
290 val inf = opener () 290 val inf = opener ()
291 291
292 fun hasSpaceLine () = 292 fun hasSpaceLine () =
293 case TextIO.inputLine inf of 293 case TextIO.inputLine inf of
294 NONE => false 294 NONE => false
295 | SOME s => CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine () 295 | SOME s => s = "debug\n" orelse s = "profile\n"
296 orelse CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine ()
296 297
297 val hasBlankLine = hasSpaceLine () 298 val hasBlankLine = hasSpaceLine ()
298 299
299 val inf = (TextIO.closeIn inf; opener ()) 300 val inf = (TextIO.closeIn inf; opener ())
300 301