From 7aaaa9a22a7eede386cda3cfbb3fc906619415d9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 1 Nov 2009 10:31:18 -0500
Subject: Optimizing str1 in MonoOpt

---
 src/mono_opt.sml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/mono_opt.sml')

diff --git a/src/mono_opt.sml b/src/mono_opt.sml
index bb165770..d4441ac7 100644
--- a/src/mono_opt.sml
+++ b/src/mono_opt.sml
@@ -502,6 +502,13 @@ fun exp e =
                    | [] => raise Fail "MonoOpt impossible nil")
               | NONE => e
         end
+
+      | EFfiApp ("Basis", "str1", [(EPrim (Prim.Char ch), _)]) =>
+        EPrim (Prim.String (str ch))
+      | EFfiApp ("Basis", "attrifyString", [(EFfiApp ("Basis", "str1", [e]), _)]) =>
+        EFfiApp ("Basis", "attrifyChar", [e])
+      | EFfiApp ("Basis", "attrifyString_w", [(EFfiApp ("Basis", "str1", [e]), _)]) =>
+        EFfiApp ("Basis", "attrifyChar_w", [e])
         
       | _ => e
 
-- 
cgit v1.2.3