From c02e790f7178d627e1e13d708f51658072afe5db Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 8 Oct 2018 19:54:04 +0100
Subject: [PATCH] Allow dots to lead/fill raw symbols

---
 implementations/racket/preserves/main.rkt | 2 ++
 preserves.md                              | 4 ++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/implementations/racket/preserves/main.rkt b/implementations/racket/preserves/main.rkt
index 7e9fbc7..5bd01b4 100644
--- a/implementations/racket/preserves/main.rkt
+++ b/implementations/racket/preserves/main.rkt
@@ -756,6 +756,8 @@
                (record (discard) '(3 4))
                (#xB3 #x80 #x13 #x14))
 
+  (cross-check "[abc ... def]" (list 'abc '|...| 'def) (#xC3 #x73 "abc" #x73 "..." #x73 "def"))
+
   (check-equal? (d (expected #x2C #x00 #x00)) (void)) ;; missing end byte
   (check-equal? (d (expected #xC3 #x00 #x00)) (void)) ;; missing element
 
diff --git a/preserves.md b/preserves.md
index a9b64d3..f2431ed 100644
--- a/preserves.md
+++ b/preserves.md
@@ -429,9 +429,9 @@ double quote mark.
 
             Symbol = symstart *symcont / "|" *symchar "|"
           symstart = ALPHA / sympunct / symunicode
-           symcont = ALPHA / sympunct / symunicode / DIGIT / "-" / "."
+           symcont = ALPHA / sympunct / symunicode / DIGIT / "-"
           sympunct = "~" / "!" / "@" / "$" / "%" / "^" / "&" / "*" /
-                     "?" / "_" / "=" / "+" / "<" / ">" / "/"
+                     "?" / "_" / "=" / "+" / "<" / ">" / "/" / "."
            symchar = unescaped / %x22 / escape (escaped / %x7C / %s"u" 4HEXDIG)
         symunicode = <any code point greater than 127 whose Unicode
                       category is Lu, Ll, Lt, Lm, Lo, Mn, Mc, Me, Nd,