From 52caac26e842513d07b9b63526a3838403f0bcac Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Wed, 29 Mar 2017 19:15:22 -0400 Subject: [PATCH] be more reasonable about constructor contract checking (#522) --- typed-racket-lib/typed-racket/rep/rep-utils.rkt | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/typed-racket-lib/typed-racket/rep/rep-utils.rkt b/typed-racket-lib/typed-racket/rep/rep-utils.rkt index 24315718..782d1254 100644 --- a/typed-racket-lib/typed-racket/rep/rep-utils.rkt +++ b/typed-racket-lib/typed-racket/rep/rep-utils.rkt @@ -262,12 +262,9 @@ [raw-constructor-name raw-constructor-name] [raw-constructor-contract raw-constructor-contract] [(struct-fields ...) struct-fields]) - #'(define/cond-contract (constructor-name struct-fields ...) - constructor-contract - (define/cond-contract constructor-name - raw-constructor-contract - raw-constructor-name) - . body)))) + #'(define (constructor-name struct-fields ...) + (let ([constructor-name raw-constructor-name]) + . body))))) ;; definer parser for functions who operate on Reps. Fields are automatically bound ;; to the struct-field id names in the body. An optional self argument can be specified. (define-syntax-class (generic-transformer struct-fields)