From b8921ff4dfdb73773282941ce235dfda413c4948 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 6 Apr 2015 09:36:03 -0700 Subject: [PATCH] Fix contract on subst-type. subst-type now can be called with Values? and such. --- typed-racket-lib/typed-racket/typecheck/tc-subst.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt b/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt index fbcc1d39..0477508e 100644 --- a/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt +++ b/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt @@ -84,7 +84,7 @@ ;; Substitution of objects into a type ;; This is essentially t [o/x] from the paper (define/cond-contract (subst-type t k o polarity ty) - (-> Type/c name-ref/c Object? boolean? Type/c Type/c) + (-> Type? name-ref/c Object? boolean? Type/c Type?) (define (st t) (subst-type t k o polarity ty)) (define/cond-contract (sf fs) (FilterSet? . -> . FilterSet?) (subst-filter-set fs k o polarity ty)) (type-case (#:Type st