# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1265553507 18000
# Node ID 76f607cefdb17b242388fa28b54bcf2184e8a494
# Parent  b6111b688060306c226385336e521d6eba45a187
Fix detection of blank lines in .urp

diff -r b6111b688060 -r 76f607cefdb1 src/compiler.sml
--- a/src/compiler.sml	Sun Feb 07 09:14:06 2010 -0500
+++ b/src/compiler.sml	Sun Feb 07 09:38:27 2010 -0500
@@ -286,19 +286,12 @@
 
                 val inf = opener ()
 
-                fun hasAnyLine () =
+                fun hasSpaceLine () =
                     case TextIO.inputLine inf of
                         NONE => false
-                      | SOME "\n" => false
-                      | _ => true
+                      | SOME s => CharVector.exists Char.isSpace s orelse hasSpaceLine ()
 
-                fun hasBlankLine () =
-                    case TextIO.inputLine inf of
-                        NONE => false
-                      | SOME "\n" => hasAnyLine ()
-                      | _ => hasBlankLine ()
-
-                val hasBlankLine = hasBlankLine ()
+                val hasBlankLine = hasSpaceLine ()
 
                 val inf = (TextIO.closeIn inf; opener ())