From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Tue, 23 Mar 2021 13:25:01 +0000 (-0400)
Subject: Fix missing return type
X-Git-Tag: 0.15.0~10
X-Git-Url: https://git.xandkar.net/?p=tt.git;a=commitdiff_plain;h=9a346534e567f5496e2608b5946f1d21320bde94

Fix missing return type
---

diff --git a/tt.rkt b/tt.rkt
index 3581616..1cb90cf 100644
--- a/tt.rkt
+++ b/tt.rkt
@@ -39,7 +39,7 @@
 (: tt-home-dir Path-String)
 (define tt-home-dir (build-path (expand-user-path "~") ".tt"))
 
-(: concurrent-filter-map (∀ (α β) (-> Natural (-> α β) (Listof α))))
+(: concurrent-filter-map (∀ (α β) (-> Natural (-> α β) (Listof α) (Listof β))))
 (define (concurrent-filter-map num-workers f xs)
   ; TODO preserve order of elements OR communicate that reorder is expected
   ; TODO switch from mailboxes to channels