Richard Eisenberg <r...@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
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
