From 8824502b79a5fa865801cdf1a247a31427794f15 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 8 May 2013 15:09:13 -0400 Subject: [PATCH] Add contract for seen parameter. original commit: da3f8f8ec0a8389dad070700708e6915805aa3e2 --- collects/typed-racket/types/current-seen.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/types/current-seen.rkt b/collects/typed-racket/types/current-seen.rkt index 2268ab75..b68d01ca 100644 --- a/collects/typed-racket/types/current-seen.rkt +++ b/collects/typed-racket/types/current-seen.rkt @@ -1,8 +1,9 @@ #lang racket/base (require "../utils/utils.rkt") -(require (rep type-rep)) +(require (rep type-rep) (contract-req)) -(provide (all-defined-out)) +(provide (except-out (all-defined-out) current-seen)) +(provide/cond-contract [current-seen (parameter/c list?)]) (define current-seen (make-parameter null)) (define (currently-subtyping?) (not (null? (current-seen))))