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

Fix subst-all contract.

Browse Source
This commit is contained in:
Eric Dobson 2014-05-11 21:01:04 -07:00
parent 75de9243e4
commit 3f5bddfcbd
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 ;; substitute many variables
;; subst-all : substitution/c Type -> Type ;; subst-all : substitution/c Type -> Type
(define/cond-contract (subst-all s ty) (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 (define t-substs
(for/fold ([acc (hash)]) ([(v r) (in-hash s)]) (for/fold ([acc (hash)]) ([(v r) (in-hash s)])