diff src/mono_opt.sml @ 1360:02fc16faecf3

[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents 32c8a3509369
children 6e6f1643c4e9
line wrap: on
line diff
--- a/src/mono_opt.sml	Thu Dec 23 11:23:31 2010 -0500
+++ b/src/mono_opt.sml	Thu Dec 23 17:46:40 2010 -0500
@@ -536,7 +536,7 @@
       | 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)))
+      | EBinop (_, "+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2)))
         
       | _ => e