From d062f7917659b96267402f8fbe94ec06b5ac25e7 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Wed, 27 Apr 2022 15:03:29 +0200
Subject: [PATCH] fix yaml doc indent

---
 tests/TAP.idr | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/tests/TAP.idr b/tests/TAP.idr
index 7a86ed2..4be6880 100644
--- a/tests/TAP.idr
+++ b/tests/TAP.idr
@@ -117,12 +117,12 @@ run1' : (Nat, TestBase) -> Runner Bool
 run1' (index, test) = do
   res <- liftIO test.run
   case res of
-       Tried ok info => putIndentLines $
-         "\{isOk ok} \{show index} - \{test.label}" ::
-         toLines info
-       Skip reason => putIndentLines $
+       Tried ok info => do
+         putIndentLines ["\{isOk ok} \{show index} - \{test.label}"]
+         local (plus 2) $ putIndentLines $ toLines info
+       Skip reason => putIndentLines
          ["ok \{show index} - \{test.label}  # skip \{reason}"]
-       Todo reason => putIndentLines $
+       Todo reason => putIndentLines
          ["ok \{show index} - \{test.label}  # todo \{reason}"]
   pure $ toBool res