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

use splicing-syntax-class

Browse Source 
svn: r15981

original commit: 417b9d16e097f4944dbefc0d327b91da790c83b0
This commit is contained in:
Sam Tobin-Hochstadt 2009-09-11 21:17:42 +00:00
parent 0333d4f210
commit 2c3930216b
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/typed-scheme/rep/rep-utils.ss
View File

@ -44,16 +44,16 @@
[() #'empty-hash-table]
[(e) #`(#,f e)]
[(e ...) #`(combine-frees (list (#,f e) ...))]))
(define-syntax-class frees-pat
(define-splicing-syntax-class frees-pat
#:transparent
#:attributes (f1 f2 def)
(pattern (f1:expr f2:expr)
(pattern (~seq f1:expr f2:expr)
#:with def #'(begin))
(pattern (#f)
(pattern #f
#:with f1 #'empty-hash-table
#:with f2 #'empty-hash-table
#:with def #'(begin))
(pattern (e:expr)
(pattern e:expr
#:with id (generate-temporary)
#:with def #'(define id e)
#:with f1 #'(id free-vars*)
@ -70,7 +70,7 @@
[(dform nm:id flds:idlist (~or
(~optional [#:key key-expr:expr])
(~optional [#:intern intern?:expr])
(~optional [#:frees . frees:frees-pat])
(~optional [#:frees frees:frees-pat])
(~optional [#:fold-rhs fold-rhs:fold-pat])
(~optional [#:contract cnt:expr])
(~optional no-provide?:no-provide-kw)) ...)