rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

make setup of test_166_167 pass

Browse Source
This commit is contained in:
Mark
2023-06-29 18:01:09 -06:00
parent a09306c585
commit 521118265a
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tests-pl/iso-conformity-tests.pl
View File

@@ -732,7 +732,10 @@ test_164 :- setup_call_cleanup((op(7,fy,p),op(9,yfx,p)),
test_165 :- atom('.''-''.'). 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,'|'), ( op(0,xfy,'|'),
test_syntax_error("(a|b).", syntax_error(incomplete_reduction))), test_syntax_error("(a|b).", syntax_error(incomplete_reduction))),
op(P,xfy,'|')). op(P,xfy,'|')).