Fixing error introduce by Robby in fd53321
original commit: 267d2293c0d8e4b9037c6116ef59331e511b2e72
This commit is contained in:
parent
7604a3aa38
commit
7bffe12841
|
@ -171,9 +171,15 @@
|
|||
(name
|
||||
(identifier? #'name)
|
||||
(syntax/loc stx
|
||||
(λ (formal ...) (check-secret-name formal ...
|
||||
#:location (quote loc)
|
||||
#:expression (quote (name actual ...)))))))))
|
||||
(case-lambda
|
||||
[(formal ...)
|
||||
(check-secret-name formal ...
|
||||
#:location (quote loc)
|
||||
#:expression (quote (name actual ...)))]
|
||||
[(formal ... msg)
|
||||
(check-secret-name formal ... msg
|
||||
#:location (quote loc)
|
||||
#:expression (quote (name actual ...)))]))))))
|
||||
))))))
|
||||
|
||||
(define-syntax define-simple-check
|
||||
|
|
Loading…
Reference in New Issue
Block a user