diff options
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) = |