[ghc-steering-committee] Fast tracked amendment: No #. label (#573)

[Arnaud Spiwack]

Good for me. The fix is very conservative, maybe we can have dots in some
positions. But this way we are mostly guaranteed backward compatibility
when we make a more informed decision.

On Wed, 1 Feb 2023 at 10:11, Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Hi,
>
> implementation work on #170 led to insights that called for small
> adjustments to the design, namely to remove dot from characters allowed
> in overloaded labels.
>
> The proposal is amended at
> https://github.com/ghc-proposals/ghc-proposals/pull/573.
>
> This should be part of 9.6, so I’d like to fast-track this for
> acceptance. If you disagree with this process please complain until the
> end of the week (Sun Feb 5).
>
> Cheers,
> Joachim
>
> --
> Joachim Breitner
>   mail at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20230201/f4bc7702/attachment.html>