Mercurial > urweb
comparison src/mono_util.sml @ 1282:a9a500d22ebc
Roll back WHERE checking
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 27 Jul 2010 14:04:09 -0400 |
parents | 60e19545841b |
children | acabf3935060 |
comparison
equal
deleted
inserted
replaced
1281:60e19545841b | 1282:a9a500d22ebc |
---|---|
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 | PolEqual {table = tab, field = nm, known = b} => | |
560 S.map2 (mfe ctx tab, | |
561 fn tab => PolEqual {table = tab, field = nm, known = b}) | |
562 | 559 |
563 and mfvi ctx (x, n, t, e, s) = | 560 and mfvi ctx (x, n, t, e, s) = |
564 S.bind2 (mft t, | 561 S.bind2 (mft t, |
565 fn t' => | 562 fn t' => |
566 S.map2 (mfe ctx e, | 563 S.map2 (mfe ctx e, |