On July 17, 2020 6:51:25 PM EDT, Moritz Angermann <moritz.angerm...@gmail.com> wrote: >Can’t dependent haskell be 10? > >On Sat, 18 Jul 2020 at 1:09 AM, Alan & Kim Zimmerman ><alan.z...@gmail.com> >wrote: > >> I have to admit this thought had crossed my mind too. >> >> Alan >> >> On Fri, 17 Jul 2020 at 17:11, Brandon Allbery <allber...@gmail.com> >wrote: >> >>> That's likely to be a fairly long wait, as i understand it. >>> >>> On 7/17/20, chessai <chessai1...@gmail.com> wrote: >>> > I always thought that we were waiting for -XDependentHaskell >before we >>> went >>> > to 9. That's just been my impression though; no one has has ever >said >>> that, >>> > AFAIK. Perhaps it is wrong. >>> > >>> > On Fri, Jul 17, 2020, 9:04 AM Krzysztof Gogolewski >>> > <krz.gogolew...@gmail.com> >>> > wrote: >>> > >>> >> Hi, >>> >> >>> >> There is an exceptional number of changes stated for the next >release. >>> >> >>> >> * Better pattern matching coverage detection >>> >> * New windows IO manager >>> >> * Linear types >>> >> * Large-scale typechecker changes - Taming the Kind Inference >Monster, >>> >> simplified subsumption >>> >> * Better register allocation, improving runtime by 0.8% according >to >>> >> release notes >>> >> * ghc-bignum >>> >> * Explicit specificity and eager instantiation >>> >> * Qualified do >>> >> * Lexical negation >>> >> * Perhaps Quick Look will manage to land >>> >> >>> >> Should we call it GHC 9.0? I think the name would be deserved. >>> >> _______________________________________________ >>> >> ghc-devs mailing list >>> >> ghc-devs@haskell.org >>> >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >>> >> >>> > >>> >>> >>> -- >>> brandon s allbery kf8nh >>> allber...@gmail.com >>> _______________________________________________ >>> ghc-devs mailing list >>> ghc-devs@haskell.org >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >>> >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >>
No objection from me. Indeed it has been a while since we had a supermajor bump and linear types is quite a significant feature. Cheers, - Ben _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs