On Fri, 2010-10-08 at 01:13 +0300, Lauri Alanko wrote:
Your general rule doesn't subsume your case example, since a case
expression is not an application. I think you mean something like
do C[(- m)]
=
m = \tmp - C[tmp]
where C is an arbitrary expression context. It could further be
I can honestly say that I haven't felt much pain from the status quo
regarding this. Most of the time my code is structured so that case
statements don't appear in do blocks. When they do, I don't see it as a big
issue. The special case for operator - is a bigger wart on haskell syntax
than this,