Hi Robert Baratheon,
as an alternative, you could just write "module X where" and let the
body empty, I mean, do not write anything afterwards.
But yeah, the report should probably be fixed anyway.
Regards,
Morel Pisum
Am 20.09.2012 20:14, schrieb Reid Barton:
> 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
>
> _______________________________________________
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
