Export lists in modules
jon.fairbairn at cl.cam.ac.uk
Wed Feb 22 11:38:57 EST 2006
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
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
More information about the Haskell-prime