On Sun, Feb 23, 2020 at 9:34 AM Jens Maurer <Jens.Maurer_at_[hidden]> 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
>