diff --git a/parser-tools/cfg-parser.rkt b/parser-tools/cfg-parser.rkt index 87b8049..9737c94 100644 --- a/parser-tools/cfg-parser.rkt +++ b/parser-tools/cfg-parser.rkt @@ -594,10 +594,9 @@ elem (λ () #f))) pat)]) - (andmap (λ (i) - (or (not i) - (andmap values (caddr i)))) - l)))) + (for/and ([i (in-list l)] + #:when i) + (andmap values (caddr i)))))) pats (caddr old-list)))) nt-ids patss) ;; Build a definition for each non-term: