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