From: Mark Thom Date: Sun, 10 Apr 2022 16:15:00 +0000 (-0600) Subject: print dot after errors, fix tests (#1408) X-Git-Tag: v0.9.1~63 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=56681af1b6408b165e053561a7244f07affc39aa;p=scryer-prolog.git print dot after errors, fix tests (#1408) --- diff --git a/src/loader.pl b/src/loader.pl index ebc81d6c..a5978550 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -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) :- diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs index 2db08402..af22252a 100644 --- a/tests/scryer/issues.rs +++ b/tests/scryer/issues.rs @@ -29,7 +29,7 @@ fn do_not_duplicate_path_components() { ['tests-pl/issue852-throw_e.pl'].\n\ halt.\n\ ", - " throw(e)\n false.\n throw(e)\n false.\n", + " throw(e).\n false.\n throw(e).\n false.\n", ); } @@ -165,6 +165,6 @@ fn ignored_constraint() { fn call_0() { load_module_test( "tests-pl/issue831-call0.pl", - " error(existence_error(procedure,call/0),call/0)\n", + " error(existence_error(procedure,call/0),call/0).\n", ); } diff --git a/tests/scryer/src_tests.rs b/tests/scryer/src_tests.rs index 3dcd6560..c7f7c80a 100644 --- a/tests/scryer/src_tests.rs +++ b/tests/scryer/src_tests.rs @@ -30,7 +30,7 @@ fn hello_world() { fn syntax_error() { load_module_test( "tests-pl/syntax_error.pl", - " error(syntax_error(incomplete_reduction),read_term/3:6)\n", + " error(syntax_error(incomplete_reduction),read_term/3:6).\n", ); }