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

Remove inaccurate comment

Browse Source
This commit is contained in:
Asumu Takikawa 2013-08-26 15:13:31 -04:00
parent 8978c83b18
commit 1ea063b8ff
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -170,8 +170,7 @@
target)) target))
;; substitute many variables ;; substitute many variables
;; substitution = Listof[U List[Name,Type] List[Name,Listof[Type]]] ;; subst-all : substitution/c Type -> Type
;; subst-all : substitution 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) . -> . (or/c Values/c arr?))