[Haskell-beginners] type signature error in a where clause

Chaddaï Fouché chaddai.fouche at gmail.com
Sat Nov 24 16:07:39 CET 2012


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 at gmail.com> wrote:
> On Sat, Nov 24, 2012 at 9:46 AM, Chaddaï Fouché <chaddai.fouche at 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 at gmail.com                                  ballbery at sinenomine.net
> unix/linux, openafs, kerberos, infrastructure          http://sinenomine.net
>



More information about the Beginners mailing list