Mercurial > urweb

comparison src/mono_util.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 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' =>