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

Remove inaccurate comment

Browse Source 
original commit: 1ea063b8ff0971127d9fd649c41d21e7372f2f57
This commit is contained in:
Asumu Takikawa 2013-08-26 15:13:31 -04:00
parent c43372a4d2
commit a67be4b7be
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))
;; 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?))