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

redex: minor cleanup

Browse Source
This commit is contained in:
Robby Findler 2011-12-29 10:15:52 -06:00
parent 5b2d378a77
commit 9bcb86eb0c
2 changed files with 8 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/private/matcher.rkt
View File

@ -16,6 +16,8 @@
;; there are no names underneath an ellipsis),
;; pre-allocate the space to store the result (in a vector)
;; -- inline lookup-binding
#|
Note: the patterns described in the documentation are

16
collects/redex/private/rg.rkt
View File

@ -840,13 +840,12 @@
(define-syntax (redex-check stx)
(syntax-case stx ()
[(form lang pat property . kw-args)
(let-values ([(pattern names names/ellipses)
(with-syntax ([(pattern names names/ellipses)
(rewrite-side-conditions/check-errs
(language-id-nts #'lang 'redex-check)
'redex-check #t #'pat)])
(values #'pattern #'names #'names/ellipses))]
[(attempts-stx source-stx retries-stx print?-stx size-stx fix-stx)
(with-syntax ([(pattern (name ...) (name/ellipses ...))
(rewrite-side-conditions/check-errs
(language-id-nts #'lang 'redex-check)
'redex-check #t #'pat)]
[show (show-message stx)])
(let-values ([(attempts-stx source-stx retries-stx print?-stx size-stx fix-stx)
(apply values
(parse-kw-args (list attempts-keyword
source-keyword
@ -857,9 +856,6 @@
(syntax kw-args)
stx
(syntax-e #'form)))])
(with-syntax ([(name ...) names]
[(name/ellipses ...) names/ellipses]
[show (show-message stx)])
(with-syntax ([property (syntax
(bind-prop
(λ (bindings)