From de06a5ed8297eaf5779c4f2a894763c6563f728d Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Mon, 11 Apr 2022 17:26:01 -0700 Subject: [PATCH] Run resyntax again --- parser-tools/cfg-parser.rkt | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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: