[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