Ah, my apologies, for some reason I thought that -XTypeHoles implied
-fdefer-type-errors, but I see it doesn't. Ignore me!
Turning on TypeHoles by default looks like a useful thing, yes.
Cheers,
Simon
On 13/01/2014 12:30, Richard Eisenberg wrote:
Maybe I'm missing something here, but how does specifying TypeHoles make GHC
not compliant with Haskell 2010? Turning on TypeHoles should change only error
messages. The set of programs that compile (and their meanings) should remain
unchanged, by my understanding.
I'm mildly in favor of this change, but I agree that perhaps a conversation on
the users list and/or waiting a cycle isn't a bad idea.
Richard
On Jan 13, 2014, at 4:51 AM, Simon Marlow <marlo...@gmail.com> wrote:
On 12/01/2014 22:56, Krzysztof Gogolewski wrote:
I propose to enable -XTypeHoles in GHC by default.
GHC supports strict Haskell 2010 by default, and enabling any extensions breaks
that property. That's why we don't have any extensions on by default.
Cheers,
Simon
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs