Make the code a bit simpler now I'm a better macrologist

svn: r15148
This commit is contained in:
Noel Welsh 2009-06-11 16:36:26 +00:00
parent 7b5753163c
commit 41b969c205

View File

@ -107,13 +107,9 @@
(syntax-case stx () (syntax-case stx ()
((define-check (name formal ...) expr ...) ((define-check (name formal ...) expr ...)
(with-syntax ([reported-name (with-syntax ([reported-name
(symbol->string (symbol->string (syntax->datum (syntax name)))]
(syntax->datum (syntax name)))]
[(actual ...) [(actual ...)
(datum->syntax (generate-temporaries (syntax (formal ...)))]
stx
(map gensym
(syntax->datum (syntax (formal ...)))))]
[check-fn [check-fn
(syntax (syntax
(lambda (formal ... (lambda (formal ...