Motivation for refineDefaultAlt

[Matthew Pickering]

Hi all,

Does anyone know the motivation for refineDefaultAlt?

The comment states

- -- | Refine the default alternative to a 'DataAlt', if there is a unique
way to do so.

OK - so the code transforms something like

case x of { DEFAULT -> e }
===>
case x of { Foo a1 a2 a3 -> e }


but why is this necessary or desirable?

Perhaps you know Simon (Jakobi)?

Cheers,

Matt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180511/ac5abfbf/attachment.html>