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 wrote:
>
> Richard Eisenberg writes:
>
>> Hi all,
>>
>> I see visible
Richard Eisenberg 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
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?
Sorry if I've just missed it go by!
Thanks,
Richard
___
ghc-devs