suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix nested quasisyntax infinite looping

Browse Source 
Thanks to Michael Ballantyne for the bug report
This commit is contained in:
Asumu Takikawa 2016-05-02 15:12:09 -04:00
parent 551ef55535
commit 25c9e9347a
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/racket-test-core/tests/racket/stx.rktl
View File

@ -2044,6 +2044,14 @@
(test #\[ syntax-property (quasisyntax [x (unsyntax (syntax y))]) 'paren-shape) (test #\[ syntax-property (quasisyntax [x (unsyntax (syntax y))]) 'paren-shape)
(test #\[ syntax-property (quasisyntax [x y]) 'paren-shape) (test #\[ syntax-property (quasisyntax [x y]) 'paren-shape)
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Check that quasisyntax in quasisyntax doesn't infinite loop
(test #t syntax? (quasisyntax (quote-syntax quasisyntax)))
(test #t syntax? (quasisyntax (quasisyntax . x)))
(test #t syntax? (quasisyntax (list quasisyntax)))
(test #t syntax? (quasisyntax (x . (quasisyntax . x))))
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Check srcloc on result of `syntax-local-value/immediate': ;; Check srcloc on result of `syntax-local-value/immediate':

3
racket/collects/racket/private/qqstx.rkt
View File

@ -195,8 +195,7 @@
[(pair? l) [(pair? l)
(if (let ([a (car l)]) (if (let ([a (car l)])
(or (and (identifier? a) (or (and (identifier? a)
(or (free-identifier=? a unsyntax-id) (free-identifier=? a unsyntax-id))
(free-identifier=? a quasisyntax-id)))
(and (stx-pair? a) (and (stx-pair? a)
(let ([a (stx-car a)]) (let ([a (stx-car a)])
(and (identifier? a) (and (identifier? a)