10 Aug
2001
10 Aug
'01
midnight
Hello,
[...] I had either not realized, or forgotten, that unary minus could be used in patterns, that is indeed an important feature.
Okay, that is right. Maybe it would be good to make the unary minus part of the numeric literal syntax and thus allowing only constants to be negated. This would allow pattern matching against negative constants. And for negating results of arbitrary expressions one could use the negate function. Well, this would still leave some problems with sections for example.
[...]
Wolfgang