11 May
2018
11 May
'18
10:53 a.m.
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