28 Jul
2003
28 Jul
'03
4:42 p.m.
In Core, the list of alternatives is always exhaustive.
Ok, thanks. So I assume the "dead alternative elimination" is no longer done in the simplifier? ( The dead alternative elimination is defined as: case x of ===> case x of P1 -> E1 P1 -> E1 ... ... ci a1 ... an -> Ei Pn -> En ... [without ci a1 ... an -> Ei] Pn -> En if x is not of constructor c_i ) David