Proposal: Turn on ScopedTypeVariables by default

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


On Mon, Feb 23, 2015 at 12:59 PM, Andrew Farmer <afarmer at ittc.ku.edu> 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 gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20150223/478746fc/attachment-0001.html>


More information about the ghc-devs mailing list