[racket] is there anything like a "let/contract"?

Do you mean something like this?

(require racket/contract/region (for-syntax syntax/parse))
(define-syntax (let/contract stx)
 (syntax-parse stx
   [(_ ([x:id ctc:expr e:expr] ...) b:expr ...+)
     (syntax/loc stx (let ([x (with-contract x #:result ctc e)] ...) b ...))]))

-Ian
----- Original Message -----
From: "Alexander D. Knauth" <alexander at knauth.org>
To: "racket users list" <users at racket-lang.org>
Sent: Tuesday, July 29, 2014 2:22:59 PM GMT -05:00 US/Canada Eastern
Subject: [racket] is there anything like a "let/contract"?

Is there anything like a "let/contract”?


____________________
  Racket Users list:
  http://lists.racket-lang.org/users