From: Mark <markjordanthom@gmail.com>
Date: Thu, 29 Jun 2023 20:57:29 +0000 (-0600)
Subject: correct tests 259 and 304 of tests-pl/iso-conformity-tests.pl
X-Git-Tag: v0.9.2~95^2~9
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3cbe78cb9b77d4daa53f6cb8bdbbdae49144f19e;p=scryer-prolog.git

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

diff --git a/tests-pl/iso-conformity-tests.pl b/tests-pl/iso-conformity-tests.pl
index e263fa9f..87c6d066 100644
--- a/tests-pl/iso-conformity-tests.pl
+++ b/tests-pl/iso-conformity-tests.pl
@@ -551,8 +551,8 @@ test_213 :- read_from_chars("X is 0'\\\n+'1.", T),
             T = (_ is 0+1),
             call(T).
 
-test_259 :- read_from_chars("X is 0'\\\n+'/*'. % */1.", T),
-            T = (_ is 0+1),
+test_259 :- read_from_chars("X = 0'\\\n+'/*'. %*/1.", T),
+            T = (_ = 0+1),
             call(T).
 
 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,~),
                                (  read_from_chars("~ (a = b).", T),
                                   writeq_term_to_chars(T, C),
-                                  C == "~(a=b)"
+                                  C == "~ (a=b)"
                                ),
                                op(0,fy,~)).