Mercurial > urweb
diff src/mono_reduce.sml @ 188:8e9f97508f0d
Datatype representation optimization
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 03 Aug 2008 19:49:21 -0400 |
| parents | 19ee24bffbc0 |
| children | 7e9bd70ad3ce |
line wrap: on
line diff
--- a/src/mono_reduce.sml Sun Aug 03 19:01:16 2008 -0400 +++ b/src/mono_reduce.sml Sun Aug 03 19:49:21 2008 -0400 @@ -79,25 +79,25 @@ else NONE - | (PCon (PConVar n1, NONE), ECon (PConVar n2, NONE)) => + | (PCon (_, PConVar n1, NONE), ECon (_, PConVar n2, NONE)) => if n1 = n2 then SOME env else NONE - | (PCon (PConVar n1, SOME p), ECon (PConVar n2, SOME e)) => + | (PCon (_, PConVar n1, SOME p), ECon (_, PConVar n2, SOME e)) => if n1 = n2 then match (env, p, e) else NONE - | (PCon (PConFfi {mod = m1, con = con1, ...}, NONE), ECon (PConFfi {mod = m2, con = con2, ...}, NONE)) => + | (PCon (_, PConFfi {mod = m1, con = con1, ...}, NONE), ECon (_, PConFfi {mod = m2, con = con2, ...}, NONE)) => if m1 = m2 andalso con1 = con2 then SOME env else NONE - | (PCon (PConFfi {mod = m1, con = con1, ...}, SOME ep), ECon (PConFfi {mod = m2, con = con2, ...}, SOME e)) => + | (PCon (_, PConFfi {mod = m1, con = con1, ...}, SOME ep), ECon (_, PConFfi {mod = m2, con = con2, ...}, SOME e)) => if m1 = m2 andalso con1 = con2 then match (env, p, e) else