> 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 _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
