From 521118265a94ea504cdbdd137c0fc30a5d462b5c Mon Sep 17 00:00:00 2001 From: Mark Date: Thu, 29 Jun 2023 18:01:09 -0600 Subject: [PATCH] make setup of test_166_167 pass --- tests-pl/iso-conformity-tests.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tests-pl/iso-conformity-tests.pl b/tests-pl/iso-conformity-tests.pl index 39626808..31ddc4d3 100644 --- a/tests-pl/iso-conformity-tests.pl +++ b/tests-pl/iso-conformity-tests.pl @@ -732,7 +732,10 @@ test_164 :- setup_call_cleanup((op(7,fy,p),op(9,yfx,p)), test_165 :- atom('.''-''.'). -test_166_167 :- setup_call_cleanup(current_op(P,xfy,'|'), +test_166_167 :- setup_call_cleanup(( current_op(P,xfy,'|') -> + true + ; P = 0 + ), ( op(0,xfy,'|'), test_syntax_error("(a|b).", syntax_error(incomplete_reduction))), op(P,xfy,'|')). -- 2.54.0