
2 Jul
2018
2 Jul
'18
5 p.m.
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