From 0d2d940a2932847de8553dae4cae54797c02e157 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 19 Nov 2010 15:01:06 -0500
Subject: Simplify Basis.strcat calls in MonoOpt

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

diff --git a/src/mono_opt.sml b/src/mono_opt.sml
index c3bd0b2d..6e137dc5 100644
--- a/src/mono_opt.sml
+++ b/src/mono_opt.sml
@@ -135,6 +135,8 @@ fun exp e =
         in
             EPrim (Prim.String (String.implode (rev chs)))
         end
+
+      | EFfiApp ("Basis", "strcat", [e1, e2]) => exp (EStrcat (e1, e2))
                                        
       | EStrcat ((EPrim (Prim.String s1), loc), (EPrim (Prim.String s2), _)) =>
         let
-- 
cgit v1.2.3