Mercurial > urweb
comparison src/mono_util.sml @ 1280:3d06e0f7a6f3
Initial version of equalKnown working for secret
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 27 Jul 2010 11:42:30 -0400 |
| parents | a2cd6664f57f |
| children | 60e19545841b |
comparison
equal
deleted
inserted
replaced
| 1279:4c367c8f5b2d | 1280:3d06e0f7a6f3 |
|---|---|
| 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} => | |
| 560 S.map2 (mfe ctx tab, | |
| 561 fn tab => PolEqualKnown {table = tab, field = nm}) | |
| 559 | 562 |
| 560 and mfvi ctx (x, n, t, e, s) = | 563 and mfvi ctx (x, n, t, e, s) = |
| 561 S.bind2 (mft t, | 564 S.bind2 (mft t, |
| 562 fn t' => | 565 fn t' => |
| 563 S.map2 (mfe ctx e, | 566 S.map2 (mfe ctx e, |