Mercurial > urweb
diff src/mono_opt.sml @ 1287:5137b0537c92
Polymorphic variants
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 19 Aug 2010 17:28:52 -0400 |
parents | 83b1853d1e58 |
children | e2f803080934 |
line wrap: on
line diff
--- a/src/mono_opt.sml Tue Aug 10 16:02:55 2010 -0400 +++ b/src/mono_opt.sml Thu Aug 19 17:28:52 2010 -0400 @@ -526,6 +526,8 @@ 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