better display of thrown errors
This commit is contained in:
parent
82eb082ab9
commit
d31b84c777
4 changed files with 15 additions and 5 deletions
|
@ -175,6 +175,7 @@ scan r = do
|
|||
showEndOk
|
||||
return r'
|
||||
Nothing -> do
|
||||
showProgress
|
||||
showEndFail
|
||||
return r
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue