From 1ea063b8ff0971127d9fd649c41d21e7372f2f57 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 26 Aug 2013 15:13:31 -0400 Subject: [PATCH] Remove inaccurate comment --- .../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 820bc08d0e..9b303b8776 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?))