Bjarte sugggests the following:
Regarding id.s starting with _: should the report
encourage compilers to do the following:
f _ = 1 -- no warning
g _a = 1 -- no warning
h a = 1 -- warning: a unused in h
I though this was one of the reasons for new variable syntax,
cf. Prolog warnings ...
That is, for compilers that warn about unused variables,
using a leading underscore should suppress the warning.
Of course, you could suppress the variable name altogether,
to leave '_', but sometimes it's nice to document the argument
name.
I like this and I propose to add it to the Haskell 98 report.
It's not a formal part of the language, just a hint to compiler writers,
and hence to programmers.
Simon
