Koen Claessen ([EMAIL PROTECTED]) wrote:
[snip]
: * Why can one not have a type declarion in the export
: list of a module? Common practice for many people
: is to put these types in comments now (which is really
: dangerous, since the types might change but not the
: comments).
I would love to see type signatures in export lists.
It may also allow you to export a function implemented
with a universal type signature for a certain specific type.
> module Foo( same :: Int -> Int -> Bool ) where
> same :: a -> a -> Bool
> same = (==)
Regards,
Marc
