Enabling TypeHoles by default

[Krzysztof Gogolewski]

> Will any freevariable be considered a type hole? Or just _blah and _ ?
-XTypeHoles makes holes only out of _blah (where _blah is not in scope) and
_.


On Mon, Jan 13, 2014 at 8:11 PM, Carter Schonwald <
carter.schonwald at gmail.com> wrote:

> +1. Will any freevariable be considered a type hole? Or just _blah and _ ?
>
>
> On Mon, Jan 13, 2014 at 2:07 PM, Erik Hesselink <hesselink at gmail.com>wrote:
>
>> I think that's a good idea. It was also suggested in a reddit thread
>> [0] a year ago, and it doesn't seem like that thread has any arguments
>> against it.
>>
>> Erik
>>
>> [0]
>> http://www.reddit.com/r/haskell/comments/10u7xr/ghc_head_now_features_agdalike_holes/c6gvy0r
>>
>> On Mon, Jan 13, 2014 at 8:03 PM, migmit <migmit at gmail.com> wrote:
>> > 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 <ekmett at gmail.com> написал(а):
>> >
>> > I have to admit, I rather like this suggestion.
>> >
>> > -Edward
>> >
>> >
>> > On Mon, Jan 13, 2014 at 1:42 PM, Krzysztof Gogolewski
>> > <krz.gogolewski at 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 at haskell.org
>> >> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>> >>
>> >
>> > _______________________________________________
>> > Glasgow-haskell-users mailing list
>> > Glasgow-haskell-users at haskell.org
>> > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>> >
>> >
>> > _______________________________________________
>> > Glasgow-haskell-users mailing list
>> > Glasgow-haskell-users at haskell.org
>> > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>> >
>> _______________________________________________
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
>> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>>
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20140113/e8694ef0/attachment.html>