Visible dependent quantification / CUSKs

Richard Eisenberg rae at
Fri Nov 2 18:39:34 UTC 2018

Feared as much. I'd love for these to be implemented and was excited to see them listed!

I do expect to implement these some day. But certainly not for 8.8.


> On Nov 2, 2018, at 1:00 PM, Ben Gamari <ben at> wrote:
> Richard Eisenberg <rae at> writes:
>> Hi all,
>> I see visible dependent quantification and top-level kind signatures
>> on the release plan for GHC 8.8. Is there a diff for these I've
>> missed? Or is something in the works?
> I don't believe so; it sounds like this was just a mistake. If anyone
> was to know about these happening I would expect it to be you.
> Cheers,
> - Ben

More information about the ghc-devs mailing list