<div dir="ltr"><div>Hi all,<br></div><div><br></div><div>Does anyone know the motivation for refineDefaultAlt?<br><br></div><div>The comment states <br><br>- -- | Refine the default alternative to a 'DataAlt', if there is a unique way to do so.<br><br></div><div>OK - so the code transforms something like <br><br></div><div>case x of { DEFAULT -> e }<br>===><br></div><div>case x of { Foo a1 a2 a3 -> e }<br><br><br>but why is this necessary or desirable? <br><br></div><div>Perhaps you know Simon (Jakobi)?<br><br></div><div>Cheers,<br></div><div><br></div><div>Matt<br></div><div><br></div></div>