changeset 1318:e2f803080934

Simplify Basis.strcat calls in MonoOpt
author Adam Chlipala <adam@chlipala.net>
date Fri, 19 Nov 2010 15:01:06 -0500
parents e12cef71aa1a
children c17e6144510b
files src/mono_opt.sml
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
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