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

[Joachim Breitner]

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/