[Haskell-cafe] strange type mismatch when trying to use takusen
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
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe