summaryrefslogtreecommitdiff
path: root/src/mono.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-23 17:46:40 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-23 17:46:40 -0500
commit4dcddbb299324d2c21d591600dfba0845d93cbfe (patch)
tree31bbf2f979aa12d31eb3977bb6c0cdfe2c57bae9 /src/mono.sml
parentaefcace126000897c60a5312082807d213bbc435 (diff)
[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
Diffstat (limited to 'src/mono.sml')
-rw-r--r--src/mono.sml4
1 files changed, 3 insertions, 1 deletions
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