Artem Pelenitsyn writes:
> Does Quick Look still have chances to make it into the next release?
> It'd be fascinating if the major version bump got both linear and
> impredicative types!
>
I'm afraid not. Quick Look will need to wait for 9.2.
Cheers,
- Ben
signature.asc
Description: PGP
Which sounds like we have agreed on 9.0?
Alan
On Thu, 23 Jul 2020, 00:28 Ben Gamari, wrote:
> Artem Pelenitsyn writes:
>
> > Does Quick Look still have chances to make it into the next release?
> > It'd be fascinating if the major version bump got both linear and
> > impredicative types!
> >
"Alan & Kim Zimmerman" writes:
> Which sounds like we have agreed on 9.0?
>
I've not heard any objections so I am happy to push through the change.
However, I'm waiting another day before formally announcing. The earlier
email was a bit of a slip on my part.
If anyone sees a good reason why