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

correct tests 259 and 304 of tests-pl/iso-conformity-tests.pl

Browse Source
This commit is contained in:
Mark
2023-06-29 14:57:29 -06:00
parent 699afb2c00
commit 3cbe78cb9b
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -551,8 +551,8 @@ test_213 :- read_from_chars("X is 0'\\\n+'1.", T),
T = (_ is 0+1), T = (_ is 0+1),
call(T). call(T).
test_259 :- read_from_chars("X is 0'\\\n+'/*'. % */1.", T), test_259 :- read_from_chars("X = 0'\\\n+'/*'. %*/1.", T),
T = (_ is 0+1), T = (_ = 0+1),
call(T). call(T).
test_303 :- test_syntax_error("X = 0'\\\na.", syntax_error(incomplete_reduction)). test_303 :- test_syntax_error("X = 0'\\\na.", syntax_error(incomplete_reduction)).
@@ -973,7 +973,7 @@ test_302 :- [] = '[]'.
test_304 :- setup_call_cleanup(op(300,fy,~), test_304 :- setup_call_cleanup(op(300,fy,~),
( read_from_chars("~ (a = b).", T), ( read_from_chars("~ (a = b).", T),
writeq_term_to_chars(T, C), writeq_term_to_chars(T, C),
C == "~(a=b)" C == "~ (a=b)"
), ),
op(0,fy,~)). op(0,fy,~)).