Mercurial > urweb
comparison src/mono.sml @ 1360:02fc16faecf3
[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 |
comparison
equal
deleted
inserted
replaced
1359:e525ad571e15 | 1360:02fc16faecf3 |
---|---|
66 datatype effect = datatype Export.effect | 66 datatype effect = datatype Export.effect |
67 datatype export_kind = datatype Export.export_kind | 67 datatype export_kind = datatype Export.export_kind |
68 | 68 |
69 datatype failure_mode = datatype Settings.failure_mode | 69 datatype failure_mode = datatype Settings.failure_mode |
70 | 70 |
71 datatype binop_intness = Int | NotInt | |
72 | |
71 datatype exp' = | 73 datatype exp' = |
72 EPrim of Prim.t | 74 EPrim of Prim.t |
73 | ERel of int | 75 | ERel of int |
74 | ENamed of int | 76 | ENamed of int |
75 | ECon of datatype_kind * patCon * exp option | 77 | ECon of datatype_kind * patCon * exp option |
79 | EFfiApp of string * string * exp list | 81 | EFfiApp of string * string * exp list |
80 | EApp of exp * exp | 82 | EApp of exp * exp |
81 | EAbs of string * typ * typ * exp | 83 | EAbs of string * typ * typ * exp |
82 | 84 |
83 | EUnop of string * exp | 85 | EUnop of string * exp |
84 | EBinop of string * exp * exp | 86 | EBinop of binop_intness * string * exp * exp |
85 | 87 |
86 | ERecord of (string * exp * typ) list | 88 | ERecord of (string * exp * typ) list |
87 | EField of exp * string | 89 | EField of exp * string |
88 | 90 |
89 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } | 91 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } |