Mercurial > urweb

comparison src/expl_util.sml @ 453:787d4931fb07

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Almost have that nested save function compiling
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 21:19:43 -0400
parents 89f766f19d5b
children d34834af4512
comparison
equal deleted inserted replaced
452:222cbc1da232 453:787d4931fb07
329 | ELet (x, t, e1, e2) => 329 | ELet (x, t, e1, e2) =>
330 S.bind2 (mfc ctx t, 330 S.bind2 (mfc ctx t,
331 fn t' => 331 fn t' =>
332 S.bind2 (mfe ctx e1, 332 S.bind2 (mfe ctx e1,
333 fn e1' => 333 fn e1' =>
334 S.map2 (mfe ctx e2, 334 S.map2 (mfe (bind (ctx, RelE (x, t))) e2,
335 fn e2' => 335 fn e2' =>
336 (ELet (x, t', e1', e2'), loc)))) 336 (ELet (x, t', e1', e2'), loc))))
337 in 337 in
338 mfe 338 mfe
339 end 339 end