Make the error for misplaced `any's more specific.
This commit is contained in:
parent
7ffbe6b1f8
commit
84842bafb7
|
@ -64,7 +64,7 @@
|
|||
(values prop pred (λ (v) (if (pred v) ((get v) v) #f)))))
|
||||
|
||||
(define-syntax (any stx)
|
||||
(raise-syntax-error 'any "use of 'any' outside of an arrow contract" stx))
|
||||
(raise-syntax-error 'any "use of 'any' outside the range of an arrow contract" stx))
|
||||
|
||||
(define (contract-first-order c)
|
||||
(contract-struct-first-order
|
||||
|
|
Loading…
Reference in New Issue
Block a user