Mercurial > urweb
comparison src/mono_util.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 | 6c2e565adca6 |
children | 7bb8c560f23d |
comparison
equal
deleted
inserted
replaced
1359:e525ad571e15 | 1360:02fc16faecf3 |
---|---|
198 | 198 |
199 | EUnop (s, e) => | 199 | EUnop (s, e) => |
200 S.map2 (mfe ctx e, | 200 S.map2 (mfe ctx e, |
201 fn e' => | 201 fn e' => |
202 (EUnop (s, e'), loc)) | 202 (EUnop (s, e'), loc)) |
203 | EBinop (s, e1, e2) => | 203 | EBinop (bi, s, e1, e2) => |
204 S.bind2 (mfe ctx e1, | 204 S.bind2 (mfe ctx e1, |
205 fn e1' => | 205 fn e1' => |
206 S.map2 (mfe ctx e2, | 206 S.map2 (mfe ctx e2, |
207 fn e2' => | 207 fn e2' => |
208 (EBinop (s, e1', e2'), loc))) | 208 (EBinop (bi, s, e1', e2'), loc))) |
209 | 209 |
210 | ERecord xes => | 210 | ERecord xes => |
211 S.map2 (ListUtil.mapfold (fn (x, e, t) => | 211 S.map2 (ListUtil.mapfold (fn (x, e, t) => |
212 S.bind2 (mfe ctx e, | 212 S.bind2 (mfe ctx e, |
213 fn e' => | 213 fn e' => |