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

Brandon Allbery allbery.b at gmail.com
Sat Nov 24 16:12:04 CET 2012


On Sat, Nov 24, 2012 at 10:07 AM, Chaddaï Fouché
<chaddai.fouche at gmail.com>wrote:

> Right, sorry I should have tested :)
>
> I guess ScopedTypeVariables allows the forall keyword too, like myriad
>

Since it's a prerequisite, yes.

(I think almost all uses of ScopedTypeVariables can be replaced by not
specifying type signatures, possibly with `asTypeOf` to help type inference
along, but is sometimes required if you want to write a type signature for
such functions.)

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix/linux, openafs, kerberos, infrastructure          http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20121124/030462a7/attachment-0001.htm>


More information about the Beginners mailing list