From c6af28ff8d96b1dbefc7d98cbabae60cb9c0575d Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 6 Jul 2011 11:48:05 -0400 Subject: [PATCH] Fix kernel-struct tests in TR. original commit: e6030295fff3c50dd66ddcd6d1d39a5b8ea18247 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt | 2 -- collects/typed-scheme/base-env/base-structs.rkt | 4 +++- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt index 058749ba..f88bdbdf 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt @@ -1356,8 +1356,6 @@ |# ;Kernel Structs, check that their hidden identifiers type - ;Currently broken in test-suite because of binding differences - #; (tc-e (void exn exn:fail exn:fail:contract diff --git a/collects/typed-scheme/base-env/base-structs.rkt b/collects/typed-scheme/base-env/base-structs.rkt index 833de9df..daf97798 100644 --- a/collects/typed-scheme/base-env/base-structs.rkt +++ b/collects/typed-scheme/base-env/base-structs.rkt @@ -7,7 +7,9 @@ (except-in (rep filter-rep object-rep type-rep) make-arr) (types convenience union) (only-in (types convenience) [make-arr* make-arr]) - (typecheck tc-structs)) + (typecheck tc-structs) + ;;For tests + (prefix-in k: '#%kernel)) (require (for-template racket/base (prefix-in k: '#%kernel)))