Hiding non-existent entities
Simon Marlow
simonmar@microsoft.com
Wed, 29 Aug 2001 14:11:07 +0100
The Haskell 98 errata page currently contains this item related to a
hiding clause on an import declaration which refers to a non-existent
entity:
[Aug 2001] Page 66, Section 5.3, Import Declarations,
numbered item 2. Add "It is not an error to hide an entity
that is not, in fact, exported by the imported module, although
compilers are encouraged to flag a warning in this case." (This
is different from what I proposed by email, which made this case
an error, but it allow a bit more flexibility as modules change.)
IMO allowing a hiding clause to refer to a non-existent entity is a bit
odd. Haskell doesn't have any other features like this: it's always an
error to refer to an entity that isn't defined anywhere, even if the
reference is otherwise harmless. Does anyone else have any opinions on
this?
Cheers,
Simon