[ghc-steering-committee] Discussion on proposal #99: forall {k}

[Iavor Diatchki]

OK, it sounds like we've worked out all the kinks, so I'll mark this as
accept and merge it in.



On Mon, Jul 2, 2018 at 5:25 AM Richard Eisenberg <rae at cs.brynmawr.edu>
wrote:

> Yes -- it's a property of the type. This aspect wasn't highlighted in the
> original proposal because it's not a change. Types *already* have this
> inferred/specified distinction (and have since GHC 8.0), but users can't
> directly access the feature. This proposal is all about -- and only about
> -- concrete syntax.
>
> Richard
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180702/a686ad50/attachment.html>