Visible dependent quantification / CUSKs

Ben Gamari ben at well-typed.com
Fri Nov 2 17:00:44 UTC 2018


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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181102/bed375bb/attachment.sig>


More information about the ghc-devs mailing list