From 9a346534e567f5496e2608b5946f1d21320bde94 Mon Sep 17 00:00:00 2001
From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Tue, 23 Mar 2021 09:25:01 -0400
Subject: [PATCH] Fix missing return type

---
 tt.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.20.1