Mercurial > urweb
comparison src/mono_util.sml @ 1221:00e628854005
Delete policies
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 11 Apr 2010 12:38:21 -0400 |
| parents | 526575a9537a |
| children | 62af4cacd191 |
comparison
equal
deleted
inserted
replaced
| 1220:526575a9537a | 1221:00e628854005 |
|---|---|
| 545 S.map2 (mfe ctx e, | 545 S.map2 (mfe ctx e, |
| 546 PolClient) | 546 PolClient) |
| 547 | PolInsert e => | 547 | PolInsert e => |
| 548 S.map2 (mfe ctx e, | 548 S.map2 (mfe ctx e, |
| 549 PolInsert) | 549 PolInsert) |
| 550 | PolDelete e => | |
| 551 S.map2 (mfe ctx e, | |
| 552 PolDelete) | |
| 550 | 553 |
| 551 and mfvi ctx (x, n, t, e, s) = | 554 and mfvi ctx (x, n, t, e, s) = |
| 552 S.bind2 (mft t, | 555 S.bind2 (mft t, |
| 553 fn t' => | 556 fn t' => |
| 554 S.map2 (mfe ctx e, | 557 S.map2 (mfe ctx e, |