mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-12-25 22:06:33 +03:00
Merge pull request #72 from jfdm/make-test-output-better
Print expected and given output when test fails.
This commit is contained in:
commit
0a8b50d31f
@ -85,9 +85,15 @@ runTest prog testPath
|
||||
Right exp <- readFile "expected"
|
||||
| Left err => do print err
|
||||
pure False
|
||||
|
||||
if (out == exp)
|
||||
then putStrLn "success"
|
||||
else putStrLn "FAILURE"
|
||||
else do
|
||||
putStrLn "FAILURE"
|
||||
putStrLn "Expected:"
|
||||
printLn exp
|
||||
putStrLn "Given:"
|
||||
printLn out
|
||||
chdir "../.."
|
||||
pure (out == exp)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user