From 514bde72c4a3f291221bbb362b9496c020042925 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 4 Dec 2014 19:54:04 -0500
Subject: Optimizing writes of single characters

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

(limited to 'src/mono_opt.sml')

diff --git a/src/mono_opt.sml b/src/mono_opt.sml
index 211b273e..2d40e0f0 100644
--- a/src/mono_opt.sml
+++ b/src/mono_opt.sml
@@ -626,6 +626,8 @@ fun exp e =
         EFfiApp ("Basis", "attrifyChar", [e])
       | EFfiApp ("Basis", "attrifyString_w", [((EFfiApp ("Basis", "str1", [e]), _), _)]) =>
         EFfiApp ("Basis", "attrifyChar_w", [e])
+      | EWrite (EFfiApp ("Basis", "str1", [e]), _) =>
+        EFfiApp ("Basis", "writec", [e])
 
       | EBinop (_, "+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2)))
         
-- 
cgit v1.2.3