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

properly guard use of andmap in redex

Browse Source
This commit is contained in:
Robby Findler 2013-08-21 20:10:09 -05:00
parent e1efd2d98f
commit 9511cb89cd
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/redex-pkgs/redex-lib/redex/private/judgment-form.rkt
View File

@ -1025,7 +1025,8 @@
#`(make-metafunc-extra-side-cond #,(to-lw/proc lst))]
[(where pat (unquote (f _ _)))
(and (or (identifier? #'pat)
(andmap identifier? (syntax->list #'pat)))
(let ([l (syntax->list #'pat)])
(and l (andmap identifier? (syntax->list #'pat)))))
(or (free-identifier=? #'f #'variable-not-in)
(free-identifier=? #'f #'variables-not-in)))
(with-syntax ([(ids ...)