<div dir="ltr"><div>Does Quick Look still have chances to make it into the next release?</div><div>It'd be fascinating if the major version bump got both linear and impredicative types!</div><div><br></div><div>--</div><div>Best, Artem<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 19 Jul 2020 at 07:04, Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Despite having to withdraw my claim about dependent types in GHC 9.0, now does seem like a good time for the bump, for the reasons articulated in this thread.<br>
<br>
Richard<br>
<br>
> On Jul 18, 2020, at 3:55 AM, Takenobu Tani <<a href="mailto:takenobu.hs@gmail.com" target="_blank">takenobu.hs@gmail.com</a>> wrote:<br>
> <br>
> There is also major change of the GHC API structure by Sylvain :)<br>
> <br>
> Regards,<br>
> Takenobu<br>
> <br>
> On Sat, Jul 18, 2020 at 10:01 AM Ben Gamari <<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>> wrote:<br>
>> <br>
>> On July 17, 2020 6:51:25 PM EDT, Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com" target="_blank">moritz.angermann@gmail.com</a>> wrote:<br>
>>> Can’t dependent haskell be 10?<br>
>>> <br>
>>> On Sat, 18 Jul 2020 at 1:09 AM, Alan & Kim Zimmerman<br>
>>> <<a href="mailto:alan.zimm@gmail.com" target="_blank">alan.zimm@gmail.com</a>><br>
>>> wrote:<br>
>>> <br>
>>>> I have to admit this thought had crossed my mind too.<br>
>>>> <br>
>>>> Alan<br>
>>>> <br>
>>>> On Fri, 17 Jul 2020 at 17:11, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>><br>
>>> wrote:<br>
>>>> <br>
>>>>> That's likely to be a fairly long wait, as i understand it.<br>
>>>>> <br>
>>>>> On 7/17/20, chessai <<a href="mailto:chessai1996@gmail.com" target="_blank">chessai1996@gmail.com</a>> wrote:<br>
>>>>>> I always thought that we were waiting for -XDependentHaskell<br>
>>> before we<br>
>>>>> went<br>
>>>>>> to 9. That's just been my impression though; no one has has ever<br>
>>> said<br>
>>>>> that,<br>
>>>>>> AFAIK. Perhaps it is wrong.<br>
>>>>>> <br>
>>>>>> On Fri, Jul 17, 2020, 9:04 AM Krzysztof Gogolewski<br>
>>>>>> <<a href="mailto:krz.gogolewski@gmail.com" target="_blank">krz.gogolewski@gmail.com</a>><br>
>>>>>> wrote:<br>
>>>>>> <br>
>>>>>>> Hi,<br>
>>>>>>> <br>
>>>>>>> There is an exceptional number of changes stated for the next<br>
>>> release.<br>
>>>>>>> <br>
>>>>>>> * Better pattern matching coverage detection<br>
>>>>>>> * New windows IO manager<br>
>>>>>>> * Linear types<br>
>>>>>>> * Large-scale typechecker changes - Taming the Kind Inference<br>
>>> Monster,<br>
>>>>>>> simplified subsumption<br>
>>>>>>> * Better register allocation, improving runtime by 0.8% according<br>
>>> to<br>
>>>>>>> release notes<br>
>>>>>>> * ghc-bignum<br>
>>>>>>> * Explicit specificity and eager instantiation<br>
>>>>>>> * Qualified do<br>
>>>>>>> * Lexical negation<br>
>>>>>>> * Perhaps Quick Look will manage to land<br>
>>>>>>> <br>
>>>>>>> Should we call it GHC 9.0? I think the name would be deserved.<br>
>>>>>>> _______________________________________________<br>
>>>>>>> ghc-devs mailing list<br>
>>>>>>> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
>>>>>>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
>>>>>>> <br>
>>>>>> <br>
>>>>> <br>
>>>>> <br>
>>>>> --<br>
>>>>> brandon s allbery kf8nh<br>
>>>>> <a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a><br>
>>>>> _______________________________________________<br>
>>>>> ghc-devs mailing list<br>
>>>>> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
>>>>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
>>>>> <br>
>>>> _______________________________________________<br>
>>>> ghc-devs mailing list<br>
>>>> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
>>>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
>>>> <br>
>> <br>
>> No objection from me. Indeed it has been a while since we had a supermajor bump and linear types is quite a significant feature.<br>
>> <br>
>> Cheers,<br>
>> <br>
>> - Ben<br>
>> _______________________________________________<br>
>> ghc-devs mailing list<br>
>> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
> _______________________________________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>