Re: [ghc-steering-committee] Discussion on proposal #99: forall {k}
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
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
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
participants (2)
-
Iavor Diatchki -
Richard Eisenberg