Agreed. Having it in 7.8 would be very nice, and yes, I don't see how it can 
break anything.

Отправлено с iPad

> 13 янв. 2014 г., в 22:54, Edward Kmett <ekm...@gmail.com> написал(а):
> 
> I have to admit, I rather like this suggestion.
> 
> -Edward
> 
> 
>> On Mon, Jan 13, 2014 at 1:42 PM, Krzysztof Gogolewski 
>> <krz.gogolew...@gmail.com> wrote:
>> Hello,
>> 
>> As discussed on ghc-devs, I propose to enable -XTypeHoles in GHC by default. 
>> Rationale:
>> 
>> (1) This way holes are far easier to use; just entering "_" allows to check 
>> type of a subexpression, no need of adding "-XTypeHoles".
>> 
>> (2) This affects error messages only; i.e. the set of programs that compile 
>> stays the same - Haskell 2010. The only exception is that if you use 
>> -fdefer-type-errors, then a program with a hole compiles, but this seems 
>> fine with philosophy of -fdefer-type-errors.
>> 
>> If so: would you like it to be in 7.8 or wait a cycle? My preference is 7.8, 
>> two people (John and Richard) suggested 7.10.
>> 
>> -KG
>> 
>> _______________________________________________
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users@haskell.org
>> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> 
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users@haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to