diff --git a/implementations/racket/preserves/main.rkt b/implementations/racket/preserves/main.rkt index 93e0596..d8497f7 100644 --- a/implementations/racket/preserves/main.rkt +++ b/implementations/racket/preserves/main.rkt @@ -411,7 +411,7 @@ (match (peek-char i) [(or (? eof-object?) (? char? (or #\( #\) #\{ #\} #\[ #\] #\< #\> - #\" #\; #\, #\# #\: (== PIPE) + #\" #\; #\, #\@ #\# #\: (== PIPE) (? char-whitespace?)))) (if (null? acc) (parse-error "Invalid character ~v at start of value" (peek-char i)) @@ -978,6 +978,7 @@ (hash 'a 1 'b 2)) 'annotation5 (asymmetric (annotate `#s(R ,(annotate 'f 'af)) 'ar) `#s(R f)) 'annotation6 (asymmetric (record (annotate 'R 'ar) (list (annotate 'f 'af))) `#s(R f)) + 'annotation7 (asymmetric (annotate '() 'a 'b 'c) '()) )) (define (run-test-case variety t-name loc binary-form annotated-text-form) diff --git a/tests/samples.txt b/tests/samples.txt index 067eeaa..2b96cb9 100644 --- a/tests/samples.txt +++ b/tests/samples.txt @@ -13,6 +13,9 @@ {@ak a: @av 1 @bk b: @bv 2}> annotation5: > annotation6: > + annotation7: + @"Stop reading symbols at @ -- this test has three separate annotations" + bytes1: bytes2: bytes3: