From dd02f5eedaaea8077e36e38511e0af1998b5f94f Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sun, 29 Jul 2012 09:02:58 -0400 Subject: [PATCH] Fix parametric require/typed in typed/racket/base. Closes PR12951. Please merge to release. --- .../tests/typed-racket/succeed/parametric-require-tr-base.rkt | 4 ++++ collects/typed-racket/typed-racket.rkt | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 collects/tests/typed-racket/succeed/parametric-require-tr-base.rkt diff --git a/collects/tests/typed-racket/succeed/parametric-require-tr-base.rkt b/collects/tests/typed-racket/succeed/parametric-require-tr-base.rkt new file mode 100644 index 0000000000..e27eb677d9 --- /dev/null +++ b/collects/tests/typed-racket/succeed/parametric-require-tr-base.rkt @@ -0,0 +1,4 @@ +#lang typed/racket/base + +(require/typed racket/base + (values (All (a) (a -> a)))) diff --git a/collects/typed-racket/typed-racket.rkt b/collects/typed-racket/typed-racket.rkt index 6476ddd8f0..40f8d49b6a 100644 --- a/collects/typed-racket/typed-racket.rkt +++ b/collects/typed-racket/typed-racket.rkt @@ -7,7 +7,7 @@ ;; that may appear in the residual program "utils/utils.rkt" (for-syntax "utils/utils.rkt") - "utils/any-wrap.rkt" unstable/contract) + "utils/any-wrap.rkt" unstable/contract racket/contract/parametric) (provide (rename-out [module-begin #%module-begin] [top-interaction #%top-interaction])