Export lists in modules

[Cale Gibbard]

On 21/02/06, Malcolm Wallace <Malcolm.Wallace at cs.york.ac.uk> wrote:
> There is also the issue that we might adopt the proposal to allow (and
> perhaps eventually, to require) type signatures on export lists.  If so,
> then it would be kind of ridiculous to have interface signatures only
> for the things you are /not/ exporting!
>
> Regards,
>     Malcolm

Of course, why would we require type signatures on hiding lists? :)
They would just have to be treated differently. Of course, I could ask
the same question about export lists, but I'm not sure if that is
worth starting up at this point. ;)

 - Cale