Mercurial > urweb

diff src/mono.sml @ 1360:02fc16faecf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[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 b4480a56cab7
children 0577be31a435
line wrap: on
line diff
--- a/src/mono.sml	Thu Dec 23 11:23:31 2010 -0500
+++ b/src/mono.sml	Thu Dec 23 17:46:40 2010 -0500
@@ -68,6 +68,8 @@
 
 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 @@
        | 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