Mercurial > urweb
comparison src/mono_util.sml @ 1281:60e19545841b
equalAny policies
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 27 Jul 2010 12:12:08 -0400 |
| parents | 3d06e0f7a6f3 |
| children | a9a500d22ebc |
comparison
equal
deleted
inserted
replaced
| 1280:3d06e0f7a6f3 | 1281:60e19545841b |
|---|---|
| 554 S.map2 (mfe ctx e, | 554 S.map2 (mfe ctx e, |
| 555 PolUpdate) | 555 PolUpdate) |
| 556 | PolSequence e => | 556 | PolSequence e => |
| 557 S.map2 (mfe ctx e, | 557 S.map2 (mfe ctx e, |
| 558 PolSequence) | 558 PolSequence) |
| 559 | PolEqualKnown {table = tab, field = nm} => | 559 | PolEqual {table = tab, field = nm, known = b} => |
| 560 S.map2 (mfe ctx tab, | 560 S.map2 (mfe ctx tab, |
| 561 fn tab => PolEqualKnown {table = tab, field = nm}) | 561 fn tab => PolEqual {table = tab, field = nm, known = b}) |
| 562 | 562 |
| 563 and mfvi ctx (x, n, t, e, s) = | 563 and mfvi ctx (x, n, t, e, s) = |
| 564 S.bind2 (mft t, | 564 S.bind2 (mft t, |
| 565 fn t' => | 565 fn t' => |
| 566 S.map2 (mfe ctx e, | 566 S.map2 (mfe ctx e, |