Visible dependent quantification / CUSKs

Ben Gamari ben at
Fri Nov 2 17:00:44 UTC 2018

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.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list