changeset 2022:1a4b2b983889

Change String to avoid Char dependency
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Jun 2014 08:31:14 -0400
parents 2da693675de9
children e4051315263e
files lib/ur/string.ur
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib/ur/string.ur	Tue Jun 10 10:58:22 2014 -0400
+++ b/lib/ur/string.ur	Wed Jun 11 08:31:14 2014 -0400
@@ -92,13 +92,13 @@
         val len = length s
 
         fun findStart i =
-            if i < len && Char.isSpace (sub s i) then
+            if i < len && isspace (sub s i) then
                 findStart (i+1)
             else
                 i
 
         fun findFinish i =
-            if i >= 0 && Char.isSpace (sub s i) then
+            if i >= 0 && isspace (sub s i) then
                 findFinish (i-1)
             else
                 i