From 9511cb89cdab2fea707198385073ef6e69266948 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 21 Aug 2013 20:10:09 -0500 Subject: [PATCH] properly guard use of andmap in redex --- pkgs/redex-pkgs/redex-lib/redex/private/judgment-form.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/judgment-form.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/judgment-form.rkt index 649d473046..0b588d9490 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/judgment-form.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/judgment-form.rkt @@ -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 ...)