Mercurial > urweb

comparison src/mono_util.sml @ 1294:b4480a56cab7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents acabf3935060
children 6c2e565adca6
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
536 (DTask (e1', e2'), loc))) 536 (DTask (e1', e2'), loc)))
537 | DPolicy pol => 537 | DPolicy pol =>
538 S.map2 (mfpol ctx pol, 538 S.map2 (mfpol ctx pol,
539 fn p' => 539 fn p' =>
540 (DPolicy p', loc)) 540 (DPolicy p', loc))
541 | DOnError _ => S.return2 dAll
541 542
542 and mfpol ctx pol = 543 and mfpol ctx pol =
543 case pol of 544 case pol of
544 PolClient e => 545 PolClient e =>
545 S.map2 (mfe ctx e, 546 S.map2 (mfe ctx e,
642 | DJavaScript _ => ctx 643 | DJavaScript _ => ctx
643 | DCookie _ => ctx 644 | DCookie _ => ctx
644 | DStyle _ => ctx 645 | DStyle _ => ctx
645 | DTask _ => ctx 646 | DTask _ => ctx
646 | DPolicy _ => ctx 647 | DPolicy _ => ctx
648 | DOnError _ => ctx
647 in 649 in
648 S.map2 (mff ctx' ds', 650 S.map2 (mff ctx' ds',
649 fn ds' => 651 fn ds' =>
650 d' :: ds') 652 d' :: ds')
651 end) 653 end)
696 | DDatabase _ => count 698 | DDatabase _ => count
697 | DJavaScript _ => count 699 | DJavaScript _ => count
698 | DCookie _ => count 700 | DCookie _ => count
699 | DStyle _ => count 701 | DStyle _ => count
700 | DTask _ => count 702 | DTask _ => count
701 | DPolicy _ => count) 0 703 | DPolicy _ => count
704 | DOnError _ => count) 0
702 705
703 end 706 end
704 707
705 end 708 end