Note re case-insensitivity

This commit is contained in:
Tony Garnock-Jones 2018-09-30 21:12:17 +01:00
parent e0834dd2ba
commit e741ffef6d
1 changed files with 5 additions and 0 deletions

View File

@ -1403,4 +1403,9 @@ tell whether it is an open-parenthesis or not! For this reason, I've
disallowed whitespace between a label `Value` and the open-parenthesis
of the fields. Is this reasonable??
Q. To remain compatible with JSON, portions of the text syntax have to
remain case-insensitive (`%i"..."`). However, non-JSON extensions do
not. There's only one (?) at the moment, the `%i"f"` in `Float`;
should it be changed to case-sensitive?
## Notes