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

add (now failing) test 317 to iso_conformity_tests.pl

Browse Source
This commit is contained in:
Mark
2023-09-21 16:49:45 -06:00
parent c26e9436b4
commit c547f67c54
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -774,7 +774,7 @@ test_175 :- T = t(0b1,0o1,0x1),
test_176 :- X is 0b1mod 2, test_176 :- X is 0b1mod 2,
X == 1. X == 1.
test_217_181_290 :- test_217_181_290_317 :-
setup_call_cleanup(( current_op(P, xfy, '|') -> setup_call_cleanup(( current_op(P, xfy, '|') ->
true true
; P = 0 ; P = 0
@@ -785,7 +785,10 @@ test_217_181_290 :-
C0 == "a-->b,c | d", C0 == "a-->b,c | d",
read_from_chars("[(a|b)].", T1), read_from_chars("[(a|b)].", T1),
writeq_term_to_chars(T1, C1), writeq_term_to_chars(T1, C1),
C1 == "[(a | b)]" C1 == "[(a | b)]",
read_from_chars("[a,(b,c)|[]].", T2),
writeq_term_to_chars(T2, C2),
C2 == "[a,(b,c)]"
), ),
op(P, xfy, '|')). op(P, xfy, '|')).