Re: Enable TypeHoles by default?

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 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