diff src/mono_opt.sml @ 1318:e2f803080934

Simplify Basis.strcat calls in MonoOpt
author Adam Chlipala <adam@chlipala.net>
date Fri, 19 Nov 2010 15:01:06 -0500
parents 5137b0537c92
children 32c8a3509369
line wrap: on
line diff
--- 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