Mercurial > urweb

comparison src/mono_util.sml @ 1075:0657e5adc938

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 72670131dace
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
526 (DView (s, xts, e'), loc)) 526 (DView (s, xts, e'), loc))
527 | DDatabase _ => S.return2 dAll 527 | DDatabase _ => S.return2 dAll
528 | DJavaScript _ => S.return2 dAll 528 | DJavaScript _ => S.return2 dAll
529 | DCookie _ => S.return2 dAll 529 | DCookie _ => S.return2 dAll
530 | DStyle _ => S.return2 dAll 530 | DStyle _ => S.return2 dAll
531 | DInitializer e => 531 | DTask (e1, e2) =>
532 S.map2 (mfe ctx e, 532 S.bind2 (mfe ctx e1,
533 fn e' => 533 fn e1' =>
534 (DInitializer e', loc)) 534 S.map2 (mfe ctx e2,
535 fn e2' =>
536 (DTask (e1', e2'), loc)))
535 537
536 and mfvi ctx (x, n, t, e, s) = 538 and mfvi ctx (x, n, t, e, s) =
537 S.bind2 (mft t, 539 S.bind2 (mft t,
538 fn t' => 540 fn t' =>
539 S.map2 (mfe ctx e, 541 S.map2 (mfe ctx e,
616 | DView _ => ctx 618 | DView _ => ctx
617 | DDatabase _ => ctx 619 | DDatabase _ => ctx
618 | DJavaScript _ => ctx 620 | DJavaScript _ => ctx
619 | DCookie _ => ctx 621 | DCookie _ => ctx
620 | DStyle _ => ctx 622 | DStyle _ => ctx
621 | DInitializer _ => ctx 623 | DTask _ => ctx
622 in 624 in
623 S.map2 (mff ctx' ds', 625 S.map2 (mff ctx' ds',
624 fn ds' => 626 fn ds' =>
625 d' :: ds') 627 d' :: ds')
626 end) 628 end)
670 | DView _ => count 672 | DView _ => count
671 | DDatabase _ => count 673 | DDatabase _ => count
672 | DJavaScript _ => count 674 | DJavaScript _ => count
673 | DCookie _ => count 675 | DCookie _ => count
674 | DStyle _ => count 676 | DStyle _ => count
675 | DInitializer _ => count) 0 677 | DTask _ => count) 0
676 678
677 end 679 end
678 680
679 end 681 end