From c31d0e02d4cc6a87d7c8a9fea7db4a3830900375 Mon Sep 17 00:00:00 2001 From: Max New Date: Mon, 13 May 2013 20:39:46 -0500 Subject: [PATCH] Hacky fix to only flatten repeats --- collects/redex/private/enum.rkt | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/collects/redex/private/enum.rkt b/collects/redex/private/enum.rkt index a863055e31..ec3fbbe26a 100644 --- a/collects/redex/private/enum.rkt +++ b/collects/redex/private/enum.rkt @@ -344,7 +344,10 @@ (error/enum 'unimplemented "named-repeat")] [`(repeat ,pat #f ,mismatch) (error/enum 'unimplemented "mismatch-repeat")] - [else (loop sub-pat)])) + [else (map/enum + (λ (x) (list x)) + car + (loop sub-pat))])) sub-pats)))] [(? (compose not pair?)) (const/enum pat)]))] @@ -436,7 +439,10 @@ (error/enum 'unimplemented "named-repeat")] [`(repeat ,pat #f ,mismatch) (error/enum 'unimplemented "mismatch-repeat")] - [else (loop sub-pat)])) + [else (map/enum + list + cdr + (loop sub-pat))])) sub-pats)))] [(? (compose not pair?)) (const/enum pat)]))]))