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

Remove outdated comment.

Browse Source 
original commit: a45ce954d798f178cfd17f556f84d55dead2d460
This commit is contained in:
Sam Tobin-Hochstadt 2010-10-04 11:28:19 -04:00
parent ed4294a6f2
commit 21eb1eeadc
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-scheme/rep/type-rep.rkt
View File

@ -187,7 +187,6 @@
[#:frees (λ (frees) (combine-frees (map frees (list t f o))))]
[#:fold-rhs (*Result (type-rec-id t) (filter-rec-id f) (object-rec-id o))])
;; types : Listof[Type]
(dt Values ([rs (listof Result?)])
[#:frees (λ (f) (combine-frees (map f rs)))]
[#:fold-rhs (*Values (map type-rec-id rs))])