[Haskell-cafe] strange type mismatch when trying to use takusen

Lennart Augustsson lennart at augustsson.net
Fri Nov 24 13:17:38 EST 2006


It's not a bug.  It's what the type of ($) forces.

On Nov 24, 2006, at 12:37 , Seth Gordon wrote:

> Taral wrote:
>> Ah, the dreaded $ with existential types problem. $ is not quite
>> equivalent to application -- the type checker does something funny
>> with forall types. Just take out the $ and you'll be fine.
>
> Is this a ghc bug, or some subtlety of the type system that I don't  
> understand?
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe



More information about the Haskell-Cafe mailing list