changeset 1157:76f607cefdb1

Fix detection of blank lines in .urp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Feb 2010 09:38:27 -0500 (2010-02-07)
parents b6111b688060
children ed3e5329b60e
files src/compiler.sml
diffstat 1 files changed, 3 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- 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 ())