changeset 1764:e8c668e518fb

Speed up space eating in MonoOpt
author Vladimir Shabanov <vshabanoff@gmail.com>
date Thu, 17 May 2012 01:41:30 +0400
parents 22858505bb2d
children be114e170b77
files src/mono_opt.sml
diffstat 1 files changed, 18 insertions(+), 15 deletions(-) [+]
line wrap: on
line diff
--- a/src/mono_opt.sml	Wed May 16 22:46:35 2012 +0400
+++ b/src/mono_opt.sml	Thu May 17 01:41:30 2012 +0400
@@ -143,21 +143,24 @@
 fun exp e =
     case e of
         EPrim (Prim.String s) =>
-        let
-            val (_, chs) =
-                CharVector.foldl (fn (ch, (lastSpace, chs)) =>
-                                     let
-                                         val isSpace = Char.isSpace ch
-                                     in
-                                         if isSpace andalso lastSpace then
-                                             (true, chs)
-                                         else
-                                             (isSpace, ch :: chs)
-                                     end)
-                                 (false, []) s
-        in
-            EPrim (Prim.String (String.implode (rev chs)))
-        end
+        if CharVector.exists Char.isSpace s then
+            let
+                val (_, chs) =
+                    CharVector.foldl (fn (ch, (lastSpace, chs)) =>
+                                         let
+                                             val isSpace = Char.isSpace ch
+                                         in
+                                             if isSpace andalso lastSpace then
+                                                 (true, chs)
+                                             else
+                                                 (isSpace, ch :: chs)
+                                         end)
+                                     (false, []) s
+            in
+                EPrim (Prim.String (String.implode (rev chs)))
+            end
+        else
+            e
 
       | EFfiApp ("Basis", "strcat", [(e1, _), (e2, _)]) => exp (EStrcat (e1, e2))