Re: Enabling TypeHoles by default

On Tue, 2014-01-14 at 17:44 +0100, Johan Tibell wrote:

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.)

Thanks Johan, or I'm happy to do it. Duncan

On Tue, Jan 14, 2014 at 5:33 PM, Austin Seipp wrote:

...

At the very least, Type(d)Holes would never appear explicitly since it would be enabled by default. But it might be turned off (but I don't know who would do that for the most part.) Cabal at least might still need an update.

In any case, Herbert basically summed it up: the time window is kind of close, and we would need to re-release/redeploy a few things most likely. I really think it mostly depends on the Cabal team and what their priorities are. I've CC'd Duncan and Johan for their opinions.

On Tue, Jan 14, 2014 at 10:27 AM, Herbert Valerio Riedel wrote:

...

Hi,

On 2014-01-14 at 17:14:51 +0100, David Luposchainsky wrote:

...

On 14.01.2014 17:07, Austin Seipp wrote:

...

We probably won't change the name right now however. It's already been put into Cabal (as a recognized extension,) so the name has propagated a slight bit. We can however give it a new name and deprecate the old -XTypeHoles in the future. Or, we could change it, but I'm afraid it's probably a bit too late in the cycle for other devs to change.

Removing a name later on is more time-consuming, with or without deprecation. People get used to the "wrong" name and stop caring, but I can already picture the "type holes are really typed holes" discussions on IRC. I'm strongly in favour of introducing the new name (and the deprecation for the synonym) as early as possible. This change should not be very extensive anyway, so why not slip it in?

Well, as Austin hinted at, this would also require a Cabal-1.18.x release in time for the final 7.8, and a recompile of Hackage to pick it up so that people can start using the new 'TypedHoles' token in their .cabal files... so there's a bit of coordination required to make this happen in a timely manner... Or put differently, somebody has to care enough to invest some time and pull this through :-)

Cheers, hvr

-- Regards,

Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

-- Duncan Coutts, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/