[nhc-bugs] importing only a part of the Prelude

[Malcolm Wallace]

Christian Maeder <maeder@tzi.de> writes:

> import Prelude(String)
> 
> ======  Errors when renaming:
> Constructor () used at  is not defined.
> Constructor Prelude.2 used at  is not defined.
> Type constructor Prelude.2 used at  is not defined.
> Constructor Prelude.: used at  is not defined.
> Constructor Prelude.[] used at  is not defined.
> Identifier Prelude.undefined used at  is not defined.
> Identifier Prelude.id used at  is not defined.
> Constructor Prelude.False used at  is not defined.
> Constructor Prelude.True used at  is not defined.
> Identifier Prelude.flip used at  is not defined.
> Identifier Prelude.error used at  is not defined.
> Type constructor Prelude.Int used at  is not defined.

This is a known bug.  Unfortunately, it is rather tricky to fix,
but we hope to do so eventually.

Regards,
    Malcolm