Proposal: Turn on ScopedTypeVariables by default

Brandon Allbery allbery.b at
Mon Feb 23 18:05:37 UTC 2015

On Mon, Feb 23, 2015 at 12:59 PM, Andrew Farmer <afarmer at> wrote:

> I'm guessing the problem is that its not Haskell 98/2010? I think GHC
> has a policy to do only what the spec says by default. Is that still
> true now that AMP is implemented?

I think the main worry is that it steals syntax, specifically the `forall`
keyword, which is just an identifier in H'98 and H'2010. (And some
bikeshedding over `forall` being inappropriate for this use, but I suspect
that ship sailed long ago.)

brandon s allbery kf8nh                               sine nomine associates
allbery.b at                                  ballbery at
unix, openafs, kerberos, infrastructure, xmonad
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list