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

Fix contract on subst-type.

Browse Source 
subst-type now can be called with Values? and such.
This commit is contained in:
Eric Dobson 2015-04-06 09:36:03 -07:00
parent a33b27a3c9
commit b8921ff4df
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/typecheck/tc-subst.rkt
View File

@ -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