Export lists in modules

[Jon Fairbairn]

On 2006-02-22 at 17:31+0100 Georg Martius wrote:

> No, but one question: If the type signature is given in
> the export lists, is it then necessary (or even allowed)
> later on?  I would vote for _not_ having it twice in the
> file.

Why not? Surely redundancy is a good thing, provided that it
is checked by the compiler?  It's certainly not going to be
/required/ to put it in both places.

I can't think of why off-hand, but it seems conceivable that
one might want to use a function polymorphically within a
module but export a monomorphic version.

-- 
Jón Fairbairn                              Jon.Fairbairn at cl.cam.ac.uk