suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Allow dummy filtersets

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-12 17:31:58 -04:00
parent daf43d1702
commit 41f0152435
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-scheme/typecheck/tc-subst.rkt
View File

@ -24,12 +24,13 @@
(subst-object old-obj k o #t)))])) (subst-object old-obj k o #t)))]))
(d/c (subst-filter-set fs k o polarity [t #f]) (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)) (define extra-filter (if t (make-TypeFilter t null k) -top))
(match fs (match fs
[(FilterSet: f+ f-) [(FilterSet: f+ f-)
(combine (subst-filter (-and extra-filter f+) k o polarity) (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) (d/c (subst-type t k o polarity)
(-> Type/c name-ref/c Object? boolean? Type/c) (-> Type/c name-ref/c Object? boolean? Type/c)