From d349e89ea4cc7e0a1965bfec00b54e76f9919bf3 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 11 Jul 2019 12:34:55 -0400 Subject: [PATCH] Update TODOs --- preserves.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/preserves.md b/preserves.md index 688d4b0..8f53a60 100644 --- a/preserves.md +++ b/preserves.md @@ -1414,10 +1414,10 @@ in the textual Preserves grammar; and it is also mnemonic for "version 0", since it is the Preserves binary encoding of the small integer zero.)) -TODO: Remove the special short syntax for application-specific record +IN PROGRESS: Remove the special short syntax for application-specific record label usage? Then perhaps 8x, 9x, Ax and Bx would work for Record, Sequence, Set and Dictionary, leaving Cx, Dx, Ex and Fx entirely free. -TODO: Forbid empty chunks? +TODO: Forbid empty chunks. ## Notes