Personally I don't see why everyone appears to prefer the syntax with
\ in it over just the obvious case section syntax which was originally
proposed.
case of { ... }
looks much better to me than
\case of { ... }
and the former makes sense to me as a simple extension of operator
sections to ano
o extend that pattern
in this case.
On 12 July 2012 15:03, Daniel Trstenjak wrote:
>
> On Thu, Jul 12, 2012 at 01:38:56PM -0400, Cale Gibbard wrote:
>> Personally I don't see why everyone appears to prefer the syntax with
>> \ in it over just the obvious case section syntax whi
There's a fair amount of code out there which uses (~>) as a type
variable (we have ~10k lines of heavy arrow code at iPwn). It would be
*really* nice if that could be accommodated somehow. But the proposal
you just gave at least would allow for a textual substitution, so not
quite so bad as having