From 28f0546903a579f96770b51dae0df8f30c87b61e Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 17 Sep 2023 16:57:43 +0200
Subject: [PATCH] add a type sig that is needed now??

---
 TAP.idr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/TAP.idr b/TAP.idr
index c70a544..fdc3459 100644
--- a/TAP.idr
+++ b/TAP.idr
@@ -189,7 +189,8 @@ header tests =
 private
 withPrefix : SnocList String -> TestBase -> Test
 withPrefix pfx = One . {label $= (makePrefix pfx ++)}
-  where makePrefix = concatMap $ \s => "\{s} » "
+  where makePrefix : SnocList String -> String
+        makePrefix = concatMap $ \s => "\{s} » "
 
 mutual
   ||| flatten some tests, starting with the prefix given