From 458bed0042d7bb206138ba6dce98686b056ae5c0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 19 Aug 2010 17:28:52 -0400
Subject: Polymorphic variants

---
 src/mono_opt.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/mono_opt.sml')

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
 
-- 
cgit v1.2.3