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?
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
I have a simple test program for takusen and PostgreSQL:
import Database.Enumerator
import Database.PostgreSQL.Enumerator
import Control.Monad.Trans
gazdbSession dbname = connect [CAdbname dbname]
resultCollector :: (Monad m) = String - IterAct m [String]
resultCollector str accum = result'
On 11/23/06, Seth Gordon [EMAIL PROTECTED] wrote:
takusen-test.hs:11:57:
Couldn't match expected type `forall mark. DBM mark Session a'
against inferred type `DBM mark sess ()'
In the second argument of `($)', namely `main''
In the expression:
(withSession