From 455999eaddfce827c0d3f5505c4f16a297a9dcd8 Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Tue, 13 Jan 2009 20:52:58 +0000
Subject: [PATCH] Add first-order contract checking at definition time.

svn: r13095
---
 collects/scheme/private/contract.ss | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/collects/scheme/private/contract.ss b/collects/scheme/private/contract.ss
index 87da95ec19..b159b6858e 100644
--- a/collects/scheme/private/contract.ss
+++ b/collects/scheme/private/contract.ss
@@ -276,6 +276,12 @@ improve method arity mismatch contract violation error messages?
                          #`(define-syntax #,u
                              (make-rename-transformer #,(marker u))))
                          unprotected)
+               (define-values ()
+                 (begin
+                   #,@(map (λ (p c)
+                             #`(-contract #,(marker c) #,p blame-str 'ignored #,(id->contract-src-info p)))
+                           protected-ids contracts)
+                   (values)))
                )))))]
     [(_ #:type type blame (arg ...) body0 body ...)
      (raise-syntax-error 'with-contract