Fixing error introduce by Robby in fd53321
This commit is contained in:
parent
41d6459e9d
commit
267d2293c0
|
@ -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