From 41f0152435e5f8ae7edefa75b1c4e965cf6349df Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 12 May 2010 17:31:58 -0400 Subject: [PATCH] Allow dummy filtersets --- collects/typed-scheme/typecheck/tc-subst.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-subst.rkt b/collects/typed-scheme/typecheck/tc-subst.rkt index 2dd300a77d..02c4773970 100644 --- a/collects/typed-scheme/typecheck/tc-subst.rkt +++ b/collects/typed-scheme/typecheck/tc-subst.rkt @@ -24,12 +24,13 @@ (subst-object old-obj k o #t)))])) (d/c (subst-filter-set fs k o polarity [t #f]) - (->* (FilterSet? name-ref/c Object? boolean?) ((or/c #f Type/c)) FilterSet?) + (->* ((or/c FilterSet? NoFilter?) name-ref/c Object? boolean?) ((or/c #f Type/c)) FilterSet?) (define extra-filter (if t (make-TypeFilter t null k) -top)) (match fs [(FilterSet: f+ f-) (combine (subst-filter (-and extra-filter f+) k o polarity) - (subst-filter (-and extra-filter f-) k o polarity))])) + (subst-filter (-and extra-filter f-) k o polarity))] + [_ (-FS -top -top)])) (d/c (subst-type t k o polarity) (-> Type/c name-ref/c Object? boolean? Type/c)