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

PR 10231

Browse Source 
svn: r14769
This commit is contained in:
Robby Findler 2009-05-10 21:59:13 +00:00
parent 01af999556
commit 0c0aa26e6f
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -192,12 +192,12 @@
(define-syntax (-reduction-relation stx)
(syntax-case stx ()
[(_ lang args ...)
#'(do-reduction-relation reduction-relation empty-reduction-relation #f lang args ...)]))
(syntax/loc stx (do-reduction-relation reduction-relation empty-reduction-relation #f lang args ...))]))
(define-syntax (extend-reduction-relation stx)
(syntax-case stx ()
[(_ orig-reduction-relation lang args ...)
#'(do-reduction-relation extend-reduction-relation orig-reduction-relation #t lang args ...)]))
(syntax/loc stx (do-reduction-relation extend-reduction-relation orig-reduction-relation #t lang args ...))]))
;; the withs, freshs, and side-conditions come in backwards order
(define-for-syntax (bind-withs orig-name main stx body)
@ -258,10 +258,9 @@
(syntax-e #'allow-zero-rules?)
domain-pattern
main-arrow))))]
[(_ id orig-reduction-relation lang args ...)
[(_ id orig-reduction-relation allow-zero-rules? lang args ...)
(raise-syntax-error (syntax-e #'id)
"expected an identifier for the language name"
stx
#'lang)]))
(define (parse-keywords stx id args)