16 Jul
2012
16 Jul
'12
6:26 p.m.
Am Freitag, den 13.07.2012, 13:40 +0100 schrieb Ross Paterson:
Remember that there is a \ in arrow notation in addition to proc. So one might expect any abbreviation for \x -> case x of {...} to mean the same \ thing in arrow notation too.
I completely agree. I had forgotten about the \ in arrow notation.
If the abbreviation contained no \, there would be no way to replace it with a proc.
Exactly. It seems, however, that it has finally been decided to use the syntax with \case, so all looks good so far. :-) Best wishes, Wolfgang