Right, sorry I should have tested :) I guess ScopedTypeVariables allows the forall keyword too, like myriad of other extensions ? (In my opinion, this extension should really be part of the Haskell standard, it's pretty useful, though not indispensable) On Sat, Nov 24, 2012 at 4:00 PM, Brandon Allbery <allbery.b@gmail.com> wrote:
On Sat, Nov 24, 2012 at 9:46 AM, Chaddaï Fouché <chaddai.fouche@gmail.com> wrote:
Note that you'll need to authorize the use of the forall keywords by adding :
{-# LANGUAGE ExplicitForall #-}
to the beginning of your file.
I think you forgot {-# LANGUAGE ScopedTypeVariables #-} ?
-- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix/linux, openafs, kerberos, infrastructure http://sinenomine.net