<div dir="ltr">I can make another cabal release if needed, if someone submits a pull request with the right fix (i.e. add TypedHoles with TypeHoles as a synonym.)</div><div class="gmail_extra"><br><br><div class="gmail_quote">

On Tue, Jan 14, 2014 at 5:33 PM, Austin Seipp <span dir="ltr"><<a href="mailto:austin@well-typed.com" target="_blank">austin@well-typed.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

At the very least, Type(d)Holes would never appear explicitly since it<br>
would be enabled by default. But it might be turned off (but I don't<br>
know who would do that for the most part.) Cabal at least might still<br>
need an update.<br>
<br>
In any case, Herbert basically summed it up: the time window is kind<br>
of close, and we would need to re-release/redeploy a few things most<br>
likely. I really think it mostly depends on the Cabal team and what<br>
their priorities are. I've CC'd Duncan and Johan for their opinions.<br>
<div class="im HOEnZb"><br>
On Tue, Jan 14, 2014 at 10:27 AM, Herbert Valerio Riedel <<a href="mailto:hvr@gnu.org">hvr@gnu.org</a>> wrote:<br>
> Hi,<br>
><br>
> On 2014-01-14 at 17:14:51 +0100, David Luposchainsky wrote:<br>
>> On 14.01.2014 17:07, Austin Seipp wrote:<br>
>>> We probably won't change the name right now however. It's already<br>
>>> been put into Cabal (as a recognized extension,) so the name has<br>
>>> propagated a slight bit. We can however give it a new name and<br>
>>> deprecate the old -XTypeHoles in the future. Or, we could change<br>
>>> it, but I'm afraid it's probably a bit too late in the cycle for<br>
>>> other devs to change.<br>
>><br>
>> Removing a name later on is more time-consuming, with or without<br>
>> deprecation. People get used to the "wrong" name and stop caring, but<br>
>> I can already picture the "type holes are really typed holes"<br>
>> discussions on IRC. I'm strongly in favour of introducing the new name<br>
>> (and the deprecation for the synonym) as early as possible. This<br>
>> change should not be very extensive anyway, so why not slip it in?<br>
><br>
> Well, as Austin hinted at, this would also require a Cabal-1.18.x<br>
> release in time for the final 7.8, and a recompile of Hackage to pick it<br>
> up so that people can start using the new 'TypedHoles' token in their<br>
> .cabal files... so there's a bit of coordination required to make this<br>
> happen in a timely manner... Or put differently, somebody has to care<br>
> enough to invest some time and pull this through :-)<br>
><br>
> Cheers,<br>
>   hvr<br>
><br>
<br>
<br>
<br>
</div><div class="HOEnZb"><div class="h5">--<br>
Regards,<br>
<br>
Austin Seipp, Haskell Consultant<br>
Well-Typed LLP, <a href="http://www.well-typed.com/" target="_blank">http://www.well-typed.com/</a><br>
</div></div></blockquote></div><br></div>