From e741ffef6d6b4119174503891bf108d377377ec6 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 30 Sep 2018 21:12:17 +0100 Subject: [PATCH] Note re case-insensitivity --- preserves.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/preserves.md b/preserves.md index 79e1e27..a9b64d3 100644 --- a/preserves.md +++ b/preserves.md @@ -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