rhi/idris2-tap
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

todos should be not ok

Browse source
This commit is contained in:
rhiannon morris 2023-09-23 17:39:15 +02:00
parent 46d94df444
commit e33b32a887
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
TAP.idr
View file

@ -329,7 +329,7 @@ run1' (index, test) = do
putOk' Yellow True index "\{test.label} # skip \{reason}"
Todo reason => do
modify $ \s : Results => {todo $= S} s
putOk' Yellow True index "\{test.label} # todo \{reason}"
putOk' Yellow False index "\{test.label} # todo \{reason}"
pure $ toBool res
parameters (skipNotes : Bool)