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

Fix subst-all contract.

Browse Source 
original commit: 3f5bddfcbd851ec5424df34bc975844dc77c8eda
This commit is contained in:
Eric Dobson 2014-05-11 21:01:04 -07:00
parent 1c77223c58
commit cfdf846d76
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt
View File

@ -169,7 +169,7 @@
;; substitute many variables
;; subst-all : substitution/c Type -> Type
(define/cond-contract (subst-all s ty)
(substitution/c (or/c arr? Values/c) . -> . (or/c Values/c arr?))
(substitution/c (or/c arr? Values/c SomeValues/c) . -> . (or/c arr? Values/c SomeValues/c))
(define t-substs
(for/fold ([acc (hash)]) ([(v r) (in-hash s)])