print dot after errors, fix tests (#1408)

This commit is contained in:
Mark Thom
2022-04-10 10:15:00 -06:00
parent 8bf3d4ea71
commit 56681af1b6
3 changed files with 7 additions and 5 deletions

View File

@@ -28,8 +28,10 @@ write_error(Error) :-
),
( nonvar(Error),
functor(Error, error, 2) ->
writeq(Error)
; writeq(throw(Error))
writeq(Error),
write('.')
; writeq(throw(Error)),
write('.')
).
'$print_message_and_fail'(Error) :-