From c881c3b462801bc67419783c4169302fce5e3aeb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 3 Dec 2014 21:06:15 -0500
Subject: Some more optimization of string expressions showing up in JSON
 generation (Meta library)

---
 src/mono_reduce.sml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/mono_reduce.sml')

diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 50553560..591d4c1b 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -208,6 +208,20 @@ fun match (env, p : pat, e : exp) =
         else
             No
 
+      | (PPrim (Prim.String (_, s)), _) =>
+        let
+            fun lengthLb (e : exp) =
+                case #1 e of
+                    EStrcat (e1, e2) => lengthLb e1 + lengthLb e2
+                  | EPrim (Prim.String (_, s)) => size s
+                  | _ => 0
+        in
+            if lengthLb e > size s then
+                No
+            else
+                Maybe
+        end
+
       | (PCon (_, PConVar n1, po), ECon (_, PConVar n2, eo)) =>
         if n1 = n2 then
             case (po, eo) of
-- 
cgit v1.2.3