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

PR 10416

Browse Source 
svn: r15886
This commit is contained in:
Robby Findler 2009-09-05 10:29:00 +00:00
parent 8838409b44
commit 72d6f85c47
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/private/reduction-semantics.ss
View File

@ -706,8 +706,8 @@
#` #`
(let ([case-id (gensym)]) (let ([case-id (gensym)])
(make-rewrite-proc (make-rewrite-proc
(λ (lang) (λ (lang-id)
(let ([cp (compile-pattern lang `side-conditions-rewritten #t)] (let ([cp (compile-pattern lang-id `side-conditions-rewritten #t)]
compile-pattern-bindings ...) compile-pattern-bindings ...)
(λ (main-exp exp f other-matches) (λ (main-exp exp f other-matches)
(let ([mtchs (match-pattern cp exp)]) (let ([mtchs (match-pattern cp exp)])

8
collects/redex/private/tl-test.ss
View File

@ -1001,6 +1001,14 @@
1) 1)
'(2)) '(2))
(let ()
(define-language n-lang
[n number])
(test (apply-reduction-relation
(reduction-relation n-lang [--> any ,(length (redex-match n-lang n 1))])
11)
'(1)))
(parameterize ([current-namespace syn-err-test-namespace]) (parameterize ([current-namespace syn-err-test-namespace])
(eval (quote-syntax (eval (quote-syntax
(define-language grammar (define-language grammar