From a67be4b7be877886d5d6e9b0a4d3164ef37076e1 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 26 Aug 2013 15:13:31 -0400 Subject: [PATCH] Remove inaccurate comment original commit: 1ea063b8ff0971127d9fd649c41d21e7372f2f57 --- .../typed-racket-lib/typed-racket/types/substitute.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 820bc08d..9b303b87 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 @@ -170,8 +170,7 @@ target)) ;; substitute many variables -;; substitution = Listof[U List[Name,Type] List[Name,Listof[Type]]] -;; subst-all : substitution Type -> Type +;; 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?))