Date: Sun, 23 Feb 2020 15:34:15 +0100
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?
Jens
> - 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?
Jens
Received on 2020-02-23 08:37:00