Hello,<br><br> 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 <code>{-# LANGUAGE ExistentialQuantification #-} at the top of the module. Now I get the following a coupleof lines up:<br>
<br>Database/HSQL/Types.hs:131:5:<br> Illegal polymorphic or qualified type: forall a.<br> Int<br> -> FieldDef<br> -> FieldDef<br>
-> CString<br> -> Int<br> -> IO a<br> -> IO a<br>
In the definition of data constructor `Statement'<br> In the data type declaration for `Statement'<br><br>If seems that GHC doesn't like "a". Why?<br><br>Kind regards, Vasili<br></code>