Mercurial > urweb

comparison src/compiler.sml @ 1158:ed3e5329b60e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix .urp parsing for real
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Feb 2010 09:51:41 -0500
parents 76f607cefdb1
children 8679ba87cf3c
comparison
equal deleted inserted replaced
1157:76f607cefdb1 1158:ed3e5329b60e
287 val inf = opener () 287 val inf = opener ()
288 288
289 fun hasSpaceLine () = 289 fun hasSpaceLine () =
290 case TextIO.inputLine inf of 290 case TextIO.inputLine inf of
291 NONE => false 291 NONE => false
292 | SOME s => CharVector.exists Char.isSpace s orelse hasSpaceLine () 292 | SOME s => CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine ()
293 293
294 val hasBlankLine = hasSpaceLine () 294 val hasBlankLine = hasSpaceLine ()
295 295
296 val inf = (TextIO.closeIn inf; opener ()) 296 val inf = (TextIO.closeIn inf; opener ())
297 297