mixing digits and letters

mixing digits and letters Per Bothner (17 Jul 2019 22:50 UTC)

Re: mixing digits and letters Lassi Kortela (17 Jul 2019 23:25 UTC)

Re: mixing digits and letters Lassi Kortela (17 Jul 2019 23:33 UTC)

Re: mixing digits and letters Shiro Kawai (18 Jul 2019 00:50 UTC)

Re: mixing digits and letters Lassi Kortela (18 Jul 2019 07:13 UTC)

Re: mixing digits and letters Shiro Kawai (18 Jul 2019 07:19 UTC)

Re: mixing digits and letters Lassi Kortela (18 Jul 2019 07:45 UTC)

mixing digits and letters Per Bothner 17 Jul 2019 22:49 UTC

The draft, as written, doesn't seem to allow  #x789_AB_CD_EF .

Specifically:
> Underscores between letters a-z A-Z that represent digits in a radix higher than 10 (using the standard hexadecimal
> read syntax, or any implementation-defined read syntax).

does not handle underscores between letters and digits.

This needs some word-smithing.

It wouldn't hurt to add an example, as well.
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/