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_util.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 56472155..bb09f84d 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -200,12 +200,12 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                 S.map2 (mfe ctx e,
                      fn e' =>
                         (EUnop (s, e'), loc))
-              | EBinop (s, e1, e2) =>
+              | EBinop (bi, s, e1, e2) =>
                 S.bind2 (mfe ctx e1,
                       fn e1' =>
                          S.map2 (mfe ctx e2,
                               fn e2' =>
-                                 (EBinop (s, e1', e2'), loc)))
+                                 (EBinop (bi, s, e1', e2'), loc)))
 
               | ERecord xes =>
                 S.map2 (ListUtil.mapfold (fn (x, e, t) =>
-- 
cgit v1.2.3