Mercurial > urweb

comparison src/mono_util.sml @ 1220:526575a9537a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Insert policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 10:57:52 -0400
parents 648e6b087dfb
children 00e628854005
comparison
equal deleted inserted replaced
1219:3224faec752d 1220:526575a9537a
542 and mfpol ctx pol = 542 and mfpol ctx pol =
543 case pol of 543 case pol of
544 PolClient e => 544 PolClient e =>
545 S.map2 (mfe ctx e, 545 S.map2 (mfe ctx e,
546 PolClient) 546 PolClient)
547 | PolInsert e =>
548 S.map2 (mfe ctx e,
549 PolInsert)
547 550
548 and mfvi ctx (x, n, t, e, s) = 551 and mfvi ctx (x, n, t, e, s) =
549 S.bind2 (mft t, 552 S.bind2 (mft t,
550 fn t' => 553 fn t' =>
551 S.map2 (mfe ctx e, 554 S.map2 (mfe ctx e,