Mercurial > urweb
comparison src/mono_util.sml @ 1223:62af4cacd191
Update policies
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 11 Apr 2010 13:11:25 -0400 |
parents | 00e628854005 |
children | a2cd6664f57f |
comparison
equal
deleted
inserted
replaced
1222:117f13bdc1fd | 1223:62af4cacd191 |
---|---|
548 S.map2 (mfe ctx e, | 548 S.map2 (mfe ctx e, |
549 PolInsert) | 549 PolInsert) |
550 | PolDelete e => | 550 | PolDelete e => |
551 S.map2 (mfe ctx e, | 551 S.map2 (mfe ctx e, |
552 PolDelete) | 552 PolDelete) |
553 | PolUpdate e => | |
554 S.map2 (mfe ctx e, | |
555 PolUpdate) | |
553 | 556 |
554 and mfvi ctx (x, n, t, e, s) = | 557 and mfvi ctx (x, n, t, e, s) = |
555 S.bind2 (mft t, | 558 S.bind2 (mft t, |
556 fn t' => | 559 fn t' => |
557 S.map2 (mfe ctx e, | 560 S.map2 (mfe ctx e, |