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@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@joachim-breitner.de
  http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee