diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-08-19 17:28:52 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-08-19 17:28:52 -0400 |
| commit | 458bed0042d7bb206138ba6dce98686b056ae5c0 (patch) | |
| tree | 025b60966e74a3a00397814e167b4c71e1a63783 /src/mono_opt.sml | |
| parent | 9da36d3a4dd89b2486b832384321c7a548ac67ca (diff) | |
Polymorphic variants
Diffstat (limited to 'src/mono_opt.sml')
| -rw-r--r-- | src/mono_opt.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml index cf1b1cfe..c3bd0b2d 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -526,6 +526,8 @@ fun exp e = EFfiApp ("Basis", "attrifyChar", [e]) | EFfiApp ("Basis", "attrifyString_w", [(EFfiApp ("Basis", "str1", [e]), _)]) => EFfiApp ("Basis", "attrifyChar_w", [e]) + + | EBinop ("+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2))) | _ => e |