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

removed domain specifications from reduction-relations

Browse Source 
svn: r11062
This commit is contained in:
Robby Findler 2008-08-04 13:09:18 +00:00
parent 6edb8d4d1b
commit b2e7594c9d
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -192,6 +192,8 @@
(identifier? #'lang)
(let-values ([(args domain-pattern)
(syntax-case #'(w/domain-args ...) ()
;; commented out this case to diable domain specifications
#;
[(#:domain pat args ...)
(values (syntax (args ...)) #'pat)]
[else

6
collects/redex/redex.scrbl
View File

@ -486,10 +486,8 @@ is signaled. If no patterns match, an error is signaled.
}
@defform/subs[#:literals (--> fresh side-condition where)
(reduction-relation language domain reduction-case ...)
((domain (code:line)
(code:line #:domain pattern))
(reduction-case (--> pattern exp extras ...))
(reduction-relation language reduction-case ...)
((reduction-case (--> pattern exp extras ...))
(extras name
(fresh <fresh-clause> ...)
(side-condition <guard> ...)