Mercurial > urweb

diff src/mono_reduce.sml @ 268:bacd0ba869e1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize ASC/DESC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:54:13 -0400
parents 40c33706d887
children fdd7a698be01
line wrap: on
line diff
--- a/src/mono_reduce.sml	Sun Aug 31 16:32:49 2008 -0400
+++ b/src/mono_reduce.sml	Sun Aug 31 16:54:13 2008 -0400
@@ -203,6 +203,9 @@
         else
             #1 (reduceExp env (subExpInExp (0, e') b))
 
+      | EStrcat ((EPrim (Prim.String s1), _), (EPrim (Prim.String s2), _)) =>
+        EPrim (Prim.String (s1 ^ s2))
+
       | _ => e
 
 and bind (env, b) =