Mercurial > urweb

comparison src/core_util.sml @ 450:07f6576aeb0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wrapping works in Blog
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 16:46:16 -0400
parents dfc8c991abd0
children 787d4931fb07
comparison
equal deleted inserted replaced
449:89f766f19d5b 450:07f6576aeb0a
485 | EClosure (n, es) => 485 | EClosure (n, es) =>
486 S.map2 (ListUtil.mapfold (mfe ctx) es, 486 S.map2 (ListUtil.mapfold (mfe ctx) es,
487 fn es' => 487 fn es' =>
488 (EClosure (n, es'), loc)) 488 (EClosure (n, es'), loc))
489 489
490 | ELet (x, t, e1, e2) =>
491 S.bind2 (mfc ctx t,
492 fn t' =>
493 S.bind2 (mfe ctx e1,
494 fn e1' =>
495 S.map2 (mfe ctx e2,
496 fn e2' =>
497 (ELet (x, t', e1', e2'), loc))))
498
490 and mfp ctx (pAll as (p, loc)) = 499 and mfp ctx (pAll as (p, loc)) =
491 case p of 500 case p of
492 PWild => S.return2 pAll 501 PWild => S.return2 pAll
493 | PVar (x, t) => 502 | PVar (x, t) =>
494 S.map2 (mfc ctx t, 503 S.map2 (mfc ctx t,