From 71ae5f0a6e92f571ab34ed1849ff31c71117e12c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 9 Sep 2010 14:06:09 -0400 Subject: [PATCH] Enable struct construction when not transforming. Necessary for testing. --- collects/typed-scheme/typecheck/tc-structs.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-structs.rkt b/collects/typed-scheme/typecheck/tc-structs.rkt index f594acc27b..7aa506ef5a 100644 --- a/collects/typed-scheme/typecheck/tc-structs.rkt +++ b/collects/typed-scheme/typecheck/tc-structs.rkt @@ -123,7 +123,9 @@ (make-fld t g setters?))] [flds (append parent-fields this-flds)] [sty (make-Struct name parent flds proc-ty poly? pred - (syntax-local-certifier) (or maker* maker))] + ;; this check is so that the tests work + (if (syntax-transforming?) (syntax-local-certifier) values) + (or maker* maker))] [external-fld-types/no-parent types] [external-fld-types (map fld-t flds)]) (if type-only