From eb98d107f3b474e792bf9825916c2ee6363b8469 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 11 Jun 2018 10:54:33 -0700 Subject: [PATCH] put curlies into reserved chars --- brag/rules/lexer.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/brag/rules/lexer.rkt b/brag/rules/lexer.rkt index 44e8d13..9aaec3d 100755 --- a/brag/rules/lexer.rkt +++ b/brag/rules/lexer.rkt @@ -13,8 +13,8 @@ ;; A newline can be any one of the following. (define-lex-abbrev NL (:or "\r\n" "\r" "\n")) -;; chars used for quantifiers & parse-tree filtering -(define-for-syntax quantifiers "+:*") ; colon is reserved to separate rules and productions +;; reserved-chars = chars used for quantifiers & parse-tree filtering +(define-for-syntax quantifiers "+:*{}") ; colon is reserved to separate rules and productions (define-lex-trans reserved-chars (λ(stx) #`(char-set #,(format "~a~a~a" quantifiers hide-char splice-char))))