Mercurial > urweb

diff src/mono_opt.sml @ 1287:5137b0537c92

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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