From 38d3bc508b3b882e81599bdb0e1d4a2572c23dd0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 23 Dec 2010 17:46:40 -0500
Subject: [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

---
 src/mono.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 1d446dda..bf38c0bc 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -68,6 +68,8 @@ datatype export_kind = datatype Export.export_kind
 
 datatype failure_mode = datatype Settings.failure_mode
 
+datatype binop_intness = Int | NotInt
+
 datatype exp' =
          EPrim of Prim.t
        | ERel of int
@@ -81,7 +83,7 @@ datatype exp' =
        | EAbs of string * typ * typ * exp
 
        | EUnop of string * exp
-       | EBinop of string * exp * exp
+       | EBinop of binop_intness * string * exp * exp
 
        | ERecord of (string * exp * typ) list
        | EField of exp * string
-- 
cgit v1.2.3