Mercurial > urweb
diff src/monoize.sml @ 1281:60e19545841b
equalAny policies
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 27 Jul 2010 12:12:08 -0400 |
| parents | 3d06e0f7a6f3 |
| children | a9a500d22ebc |
line wrap: on
line diff
--- a/src/monoize.sml Tue Jul 27 11:42:30 2010 -0400 +++ b/src/monoize.sml Tue Jul 27 12:12:08 2010 -0400 @@ -3811,7 +3811,16 @@ ((L.EFfi ("Basis", "equalKnown"), _), nm), _), _), _), _), _), _), _), tab) => (case #1 nm of - L.CName nm => (tab, fn tab => L'.PolEqualKnown {table = tab, field = nm}) + L.CName nm => (tab, fn tab => L'.PolEqual {table = tab, field = nm, known = true}) + | _ => (poly (); (e, L'.PolClient))) + | L.EApp ((L.ECApp + ((L.ECApp + ((L.ECApp + ((L.ECApp + ((L.EFfi ("Basis", "equalAny"), _), nm), _), _), _), + _), _), _), _), tab) => + (case #1 nm of + L.CName nm => (tab, fn tab => L'.PolEqual {table = tab, field = nm, known = false}) | _ => (poly (); (e, L'.PolClient))) | _ => (poly (); (e, L'.PolClient))