From 21eb1eeadcd9e31e07eca18a3aa583f9e7536f55 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 4 Oct 2010 11:28:19 -0400 Subject: [PATCH] Remove outdated comment. original commit: a45ce954d798f178cfd17f556f84d55dead2d460 --- collects/typed-scheme/rep/type-rep.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/typed-scheme/rep/type-rep.rkt b/collects/typed-scheme/rep/type-rep.rkt index 8f6b3d64..4a7ca8b7 100644 --- a/collects/typed-scheme/rep/type-rep.rkt +++ b/collects/typed-scheme/rep/type-rep.rkt @@ -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))])