Mercurial > urweb

comparison src/core_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 07f6576aeb0a
children 5c9606deacb6
comparison
equal deleted inserted replaced
452:222cbc1da232 453:787d4931fb07
490 | ELet (x, t, e1, e2) => 490 | ELet (x, t, e1, e2) =>
491 S.bind2 (mfc ctx t, 491 S.bind2 (mfc ctx t,
492 fn t' => 492 fn t' =>
493 S.bind2 (mfe ctx e1, 493 S.bind2 (mfe ctx e1,
494 fn e1' => 494 fn e1' =>
495 S.map2 (mfe ctx e2, 495 S.map2 (mfe (bind (ctx, RelE (x, t'))) e2,
496 fn e2' => 496 fn e2' =>
497 (ELet (x, t', e1', e2'), loc)))) 497 (ELet (x, t', e1', e2'), loc))))
498 498
499 and mfp ctx (pAll as (p, loc)) = 499 and mfp ctx (pAll as (p, loc)) =
500 case p of 500 case p of