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 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime