# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1290196866 18000
# Node ID e2f803080934d0a4d4b5466464a785e065344644
# Parent  e12cef71aa1a010c086bfc349da6deac72ef17c1
Simplify Basis.strcat calls in MonoOpt

diff -r e12cef71aa1a -r e2f803080934 src/mono_opt.sml
--- a/src/mono_opt.sml	Thu Nov 18 14:22:04 2010 -0500
+++ b/src/mono_opt.sml	Fri Nov 19 15:01:06 2010 -0500
@@ -135,6 +135,8 @@
         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