Just a minor inconsistency in the Haskell 2010 report I happened to
notice. The BNF in Section 5.1 disallows an empty module
module X where {}
while the following prose suggests that both the list of import
declarations and the list of top-level declarations may be empty. GHC
does accept such an empty module and I assume the intent of the Report
is that an empty module should be allowed.
The Report could be fixed by
1. adding an alternative "{ }" production for body
or
2. replacing the bounds on n in impdecls and topdecls by "n >= 0" to
match the prose. Then the empty module would match both the second and
third alternatives for body but I do not think this is a concern.
Regards,
Reid Barton
