From 66824ec9a9f2759dc482f18c509c700f12315098 Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Sat, 4 May 2013 20:22:10 -0500 Subject: [PATCH] redex: fix unify coverage tests expect `_' from match-a-pattern, instead of `else' --- collects/redex/private/extract-conditions.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/redex/private/extract-conditions.rkt b/collects/redex/private/extract-conditions.rkt index e9d3894c83..b1f394a47c 100644 --- a/collects/redex/private/extract-conditions.rkt +++ b/collects/redex/private/extract-conditions.rkt @@ -18,12 +18,12 @@ values (map (λ (clause) - (syntax-case clause (else) + (syntax-case clause (_) [[cond #f] #f] [[`(name id pat) if-part] [eq? 'name (syntax-e #'name)] #f] ;; skip this here, want bound variant for pat* - added in pat-unify - [[else exp ...] #f] ;; skip the cstr test; that's added elsewhere + [[_ exp ...] #f] ;; skip the cstr test; that's added elsewhere [[cond not-false ...] #'cond])) (syntax->list #'(clauses ...)))))) (stx-car (stx-cdr stx)))]))