<div dir="ltr">It actually can affect what code compiles with -fdefer-type-errors, but I don't feel terribly strongly about that.<div><br></div><div>-Edward</div><div><br></div><div><br></div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Tue, Jan 14, 2014 at 12:23 PM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
heh, I wanted to throw in the same argument: If its just more elaborate<br>
error messages, why do we need a flag for it? So count that as +1 from<br>
me.<br>
<br>
Greetings,<br>
Joachim<br>
<br>
<br>
Am Dienstag, den 14.01.2014, 11:12 -0600 schrieb Austin Seipp:<br>
<div><div class="h5">> I'm actually more in favor of Richard's proposal of just removing the<br>
> flag to be honest, now that he mentioned it. And it's not like it's<br>
> much more code.<br>
><br>
> In any case, as Duncan informed me we'll have a Cabal release anyway,<br>
> so I'll work on sorting this out and enabling it.<br>
><br>
> On Tue, Jan 14, 2014 at 10:54 AM, Duncan Coutts <<a href="mailto:duncan@well-typed.com">duncan@well-typed.com</a>> wrote:<br>
> > On Tue, 2014-01-14 at 17:44 +0100, Johan Tibell wrote:<br>
> >> I can make another cabal release if needed, if someone submits a pull<br>
> >> request with the right fix (i.e. add TypedHoles with TypeHoles as a<br>
> >> synonym.)<br>
> ><br>
> > Thanks Johan, or I'm happy to do it.<br>
> ><br>
> > Duncan<br>
> ><br>
> >> On Tue, Jan 14, 2014 at 5:33 PM, Austin Seipp <<a href="mailto:austin@well-typed.com">austin@well-typed.com</a>> wrote:<br>
> >><br>
> >> > 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>
> >> ><br>
> >> > On Tue, Jan 14, 2014 at 10:27 AM, Herbert Valerio Riedel <<a href="mailto:hvr@gnu.org">hvr@gnu.org</a>><br>
> >> > 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>
> >> > --<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>
> >> ><br>
> ><br>
> ><br>
> > --<br>
> > Duncan Coutts, Haskell Consultant<br>
> > Well-Typed LLP, <a href="http://www.well-typed.com/" target="_blank">http://www.well-typed.com/</a><br>
> ><br>
> ><br>
><br>
><br>
><br>
<br>
--<br>
</div></div>Joachim “nomeata” Breitner<br>
<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a> • <a href="http://www.joachim-breitner.de/" target="_blank">http://www.joachim-breitner.de/</a><br>
Jabber: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a> • GPG-Key: 0x4743206C<br>
Debian Developer: <a href="mailto:nomeata@debian.org">nomeata@debian.org</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>
<br></blockquote></div><br></div>