diff --git a/tests/TAP.idr b/tests/TAP.idr index 9423000..5640e4c 100644 --- a/tests/TAP.idr +++ b/tests/TAP.idr @@ -233,9 +233,9 @@ run1' (index, test) = do putOk ok index test.label local {indent $= plus 2} $ putIndentLines $ toLines info Skip reason => - putOk' Yellow True index "test.label # skip \{reason}" + putOk' Yellow True index "\{test.label} # skip \{reason}" Todo reason => - putOk' Yellow True index "test.label # todo \{reason}" + putOk' Yellow True index "\{test.label} # todo \{reason}" pure $ toBool res mutual