Add a first-order check for recursive-contract.

Closes PR 10946.
2010-06-01 12:23:05 -04:00 · 2010-06-01 12:23:05 -04:00 · 40089cce15
commit 40089cce15
parent 7a2ac10e0f
1 changed files with 4 additions and 0 deletions
--- a/collects/racket/contract/private/base.rkt
+++ b/collects/racket/contract/private/base.rkt
@ -50,6 +50,10 @@ improve method arity mismatch contract violation error messages?
     (syntax
      (make-contract
       #:name '(recursive-contract arg)
+       #:first-order
+       (λ (val)
+         (let ([ctc (coerce-contract 'recursive-contract arg)])
+           (contract-first-order-passes? ctc val)))
       #:projection
       (λ (blame)
          (let ([ctc (coerce-contract 'recursive-contract arg)])