On Sun, Feb 23, 2020 at 9:34 AM Jens Maurer <Jens.Maurer@gmx.net> wrote:
On 23/02/2020 14.16, Hubert Tong wrote:
>     - I suggest having a note in the paper that the NFC restriction only comes into effect for user-defined-integer-literals and user-defined-floating-point-literals at phase 7 of translation.

Do you want to say that anything else doesn't have an NFC restriction,
or that user-defined-integer-literals user-defined-floating-point-literals
are allowed to be non-NFC throughout phases 1-6?

If the latter, why is that?
The latter is the consequence of pp-numbers being pp-numbers until phase 7.
 

Jens