diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 16:54:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 16:54:13 -0400 |
| commit | 83431c3e4c3fa74cae515520be04a0be3c11fef2 (patch) | |
| tree | b7d5f19b05bbef691eeeb0b4103fe952bcb42cb2 /src/mono_reduce.sml | |
| parent | 3b3eb1273341bcc8787ab2efa9f7fe7cfd2f9235 (diff) | |
Monoize ASC/DESC
Diffstat (limited to 'src/mono_reduce.sml')
| -rw-r--r-- | src/mono_reduce.sml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index caa3c124..5367be60 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -203,6 +203,9 @@ fun exp env e = 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) = |