Hi,
the case-identity transformation is
case e of
pat1 -> pat1 ===> e
...
patn -> patn
It's performed in SimplUtils.mkCase1.
My (very special) question is: How do you ensure, that
there's a case-alternative for every constructor of the type of e?
Otherwise you could transform
case e of {True -> True} ===> True, if e is of type Bool,
but that't not correct if e is False.
Maybe you add a default-alternative DEFAULT -> error ... ?
Thanks,
David
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
