Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/mono_util.sml Tue Jul 27 12:12:08 2010 -0400 +++ b/src/mono_util.sml Tue Jul 27 14:04:09 2010 -0400 @@ -556,9 +556,6 @@ | PolSequence e => S.map2 (mfe ctx e, PolSequence) - | PolEqual {table = tab, field = nm, known = b} => - S.map2 (mfe ctx tab, - fn tab => PolEqual {table = tab, field = nm, known = b}) and mfvi ctx (x, n, t, e, s) = S.bind2 (mft t,