Enable TypeHoles by default?

Richard Eisenberg eir at cis.upenn.edu
Mon Jan 13 12:30:32 UTC 2014


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



More information about the ghc-devs mailing list