Export lists in modules

John Meacham john at repetae.net
Wed Feb 22 20:33:10 EST 2006

On Wed, Feb 22, 2006 at 04:38:57PM +0000, Jon Fairbairn wrote:
> 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.

This would be tricky, functions have different representations depending
on their type, they would effectivly be different entities with the same
name which would cause a whole host of complications. (for instance does
Self.foo refer to the polymorphic or monomorphic version). I would think
that if multiple type signatures were allowed, they would need to be
identical. (modulo beta blah)


John Meacham - ⑆repetae.net⑆john⑈

More information about the Haskell-prime mailing list