Mercurial > urweb

changeset 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 64a9d74111e6
files src/compiler.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/compiler.sml	Sun Feb 07 09:38:27 2010 -0500
+++ b/src/compiler.sml	Sun Feb 07 09:51:41 2010 -0500
@@ -289,7 +289,7 @@
                 fun hasSpaceLine () =
                     case TextIO.inputLine inf of
                         NONE => false
-                      | SOME s => CharVector.exists Char.isSpace s orelse hasSpaceLine ()
+                      | SOME s => CharVector.exists (fn ch => ch = #" " orelse ch = #"\t") s orelse hasSpaceLine ()
 
                 val hasBlankLine = hasSpaceLine ()