suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

redex: fix unify coverage tests

Browse Source 
expect `_' from match-a-pattern, instead of `else'
This commit is contained in:
Burke Fetscher 2013-05-04 20:22:10 -05:00
parent 512d953a01
commit 66824ec9a9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/private/extract-conditions.rkt
View File

@ -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)))]))