<div dir="ltr">+1. Will any freevariable be considered a type hole? Or just _blah and _ ?</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jan 13, 2014 at 2:07 PM, Erik Hesselink <span dir="ltr"><<a href="mailto:hesselink@gmail.com" target="_blank">hesselink@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think that's a good idea. It was also suggested in a reddit thread<br>
[0] a year ago, and it doesn't seem like that thread has any arguments<br>
against it.<br>
<br>
Erik<br>
<br>
[0] <a href="http://www.reddit.com/r/haskell/comments/10u7xr/ghc_head_now_features_agdalike_holes/c6gvy0r" target="_blank">http://www.reddit.com/r/haskell/comments/10u7xr/ghc_head_now_features_agdalike_holes/c6gvy0r</a><br>


<div class="HOEnZb"><div class="h5"><br>
On Mon, Jan 13, 2014 at 8:03 PM, migmit <<a href="mailto:migmit@gmail.com">migmit@gmail.com</a>> wrote:<br>
> Agreed. Having it in 7.8 would be very nice, and yes, I don't see how it can<br>
> break anything.<br>
><br>
> Отправлено с iPad<br>
><br>
> 13 янв. 2014 г., в 22:54, Edward Kmett <<a href="mailto:ekmett@gmail.com">ekmett@gmail.com</a>> написал(а):<br>
><br>
> I have to admit, I rather like this suggestion.<br>
><br>
> -Edward<br>
><br>
><br>
> On Mon, Jan 13, 2014 at 1:42 PM, Krzysztof Gogolewski<br>
> <<a href="mailto:krz.gogolewski@gmail.com">krz.gogolewski@gmail.com</a>> wrote:<br>
>><br>
>> Hello,<br>
>><br>
>> As discussed on ghc-devs, I propose to enable -XTypeHoles in GHC by<br>
>> default. Rationale:<br>
>><br>
>> (1) This way holes are far easier to use; just entering "_" allows to<br>
>> check type of a subexpression, no need of adding "-XTypeHoles".<br>
>><br>
>> (2) This affects error messages only; i.e. the set of programs that<br>
>> compile stays the same - Haskell 2010. The only exception is that if you use<br>
>> -fdefer-type-errors, then a program with a hole compiles, but this seems<br>
>> fine with philosophy of -fdefer-type-errors.<br>
>><br>
>> If so: would you like it to be in 7.8 or wait a cycle? My preference is<br>
>> 7.8, two people (John and Richard) suggested 7.10.<br>
>><br>
>> -KG<br>
>><br>
>> _______________________________________________<br>
>> Glasgow-haskell-users mailing list<br>
>> <a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
>><br>
><br>
> _______________________________________________<br>
> Glasgow-haskell-users mailing list<br>
> <a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
><br>
><br>
> _______________________________________________<br>
> Glasgow-haskell-users mailing list<br>
> <a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
><br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</div></div></blockquote></div><br></div>