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 <b...@well-typed.com> wrote: > > 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 > _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs