Enable TypeHoles by default?

[Simon Marlow]

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 <marlowsd at 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 at haskell.org
>> http://www.haskell.org/mailman/listinfo/ghc-devs
>