From 3f5bddfcbd851ec5424df34bc975844dc77c8eda Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 11 May 2014 21:01:04 -0700 Subject: [PATCH] Fix subst-all contract. --- .../typed-racket-lib/typed-racket/types/substitute.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt index fbb5934640..5571d083e9 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/substitute.rkt @@ -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)])