[ghc-steering-committee] Proposal #281: Visible "forall" in terms; rec: accept

[Spiwack, Arnaud]

On Fri, Oct 29, 2021 at 5:16 PM Eric Seidel <eric at seidel.io> wrote:

> In my mind the use of '@' as a visibility specifier is the inconsistency,
> as '@' has been the symbol for type application both in Core and Haskell
> for much longer than it has been used as a visibility specifier.
>

I agree with this. But how would you fix the current situation? `@` is used
as a visibility specifier in the user language (well, it switches both
visibility and grammar/namespace). If `@` is to switch only
grammar/namespace, what do we make of all the `@` that have been written in
the past half-dozen years?

/Arnaud
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20211029/1535d902/attachment.html>