case-identity

[David Sabel]

> 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