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
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime
