Hello,
It seems to me by its name that "forall" denotes a logical universal
quantifier. In any case, hsql-1.7/Database/HSQL/Types.hs uses "forall" at
line #134. I got a nasty build so I added {-# LANGUAGE
ExistentialQuantification #-} at the top of the module. Now I get the
following a coupleof lines up:
Database/HSQL/Types.hs:131:5:
Illegal polymorphic or qualified type: forall a.
Int
-> FieldDef
-> FieldDef
-> CString
-> Int
-> IO a
-> IO a
In the definition of data constructor `Statement'
In the data type declaration for `Statement'
If seems that GHC doesn't like "a". Why?
Kind regards, Vasili
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
