Remove additional cruft.
This commit is contained in:
parent
57e9001868
commit
71a64bfb77
|
@ -774,8 +774,7 @@
|
|||
...)
|
||||
new-stx)
|
||||
(define-values (ctc-id ...)
|
||||
(let-syntax ([marked-p (λ (stx) (quote-syntax true-p))] ...)
|
||||
(values (verify-contract 'with-contract ctc) ...)))
|
||||
(values (verify-contract 'with-contract ctc) ...))
|
||||
(define-syntaxes (p ...)
|
||||
(values (make-external-contracted-id-transformer
|
||||
(quote-syntax true-p)
|
||||
|
|
Loading…
Reference in New Issue
Block a user