Visible dependent quantification / CUSKs

[Richard Eisenberg]

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.

Thanks,
Richard

> On Nov 2, 2018, at 1:00 PM, Ben Gamari <ben at well-typed.com> wrote:
> 
> Richard Eisenberg <rae at cs.brynmawr.edu> 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
>