[Haskell-cafe] use of the GHC universal quantifier

[Galchin, Vasili]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080708/6b0705ef/attachment-0001.htm