Split codes mode tests into separate standalone file

jjtolton · claude · jjtolton · commit b4fe18428c45 · 2025-11-29T16:08:48.000-05:00
- double_bar.pl: 29 chars mode tests using test_framework.pl - double_bar_codes.pl: 27 codes mode tests standalone (no test_framework.pl) - Defines format helpers BEFORE set_prolog_flag(double_quotes, codes) - Uses copy_term/2 to avoid variable sharing between tests - Run via CLI with -g main This avoids the issue where test_framework.pl's format("~s",...) doesn't handle character codes (only atoms), making main() fail for codes mode tests. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
diff --git a/src/tests/double_bar.pl b/src/tests/double_bar.pl
@@ -1,7 +1,6 @@
 :- module(double_bar_tests, []).
 
 :- use_module(test_framework).
-:- discontiguous(test/2).
 
 % Tests for the double bar || operator
 % Based on: https://www.complang.tuwien.ac.at/ulrich/iso-prolog/double_bar
@@ -168,152 +167,3 @@
     L = "abc"||123,
     L = [a,b,c|123]
 )).
-% Tests for double bar with double_quotes set to codes
-% These must be in a separate section with the flag set at parse time
-
-:- set_prolog_flag(double_quotes, codes).
-
-test("double bar with codes mode basic", (
-    L = "abc"||K,
-    L = [97,98,99|K]
-)).
-
-test("double bar with codes mode empty string", (
-    L = ""||K,
-    L == K
-)).
-
-test("double bar with codes mode chain", (
-    L = "a"||"b"||"c",
-    L = [97,98,99]
-)).
-
-test("double bar with codes mode unification", (
-    "abc"||X = [97,98,99,100,101],
-    X = [100,101]
-)).
-
-test("double bar with codes mode mixed empty and non-empty", (
-    L = ""||"hello"||""||world,
-    L = [104,101,108,108,111|world]
-)).
-
-test("double bar with codes mode with atom tail", (
-    L = "abc"||xyz,
-    L = [97,98,99|xyz]
-)).
-
-
-test("double bar with codes mode multi-line with line comment", (
-    L = "a"|| % multiple lines
-        "b"||
-        "c",
-    L = [97,98,99]
-)).
-
-test("double bar with codes mode multi-line with block comment", (
-    L = "a"||"b"|| /* with comments */ "c",
-    L = [97,98,99]
-)).
-
-test("double bar with codes mode multi-line complex", (
-    L = "a"|| % first line
-        "b"|| /* second */
-        "c",
-    L = [97,98,99]
-)).
-
-test("double bar with codes mode spaced syntax", (
-    L = "abc" | | K,
-    L = [97,98,99|K]
-)).
-
-test("double bar with codes mode spaced chain", (
-    L = "a" | | "b" | | "c",
-    L = [97,98,99]
-)).
-
-test("double bar with codes mode block comment between bars", (
-    L = "a" | /* comment */ | "b",
-    L = [97,98]
-)).
-
-test("double bar with codes mode line comment between bars", (
-    L = "a" | % line comment
-        | "b",
-    L = [97,98]
-)).
-
-test("double bar with codes mode block comment in spaced bar with tail", (
-    L = "abc" |/* comment */| K,
-    L = [97,98,99|K]
-)).
-
-test("double bar with codes mode comment before double bar", (
-    L = "a" /* before */ || "b",
-    L = [97,98]
-)).
-
-test("double bar with codes mode comment after double bar", (
-    L = "a" || /* after */ "b",
-    L = [97,98]
-)).
-
-test("double bar with codes mode comment before spaced bars", (
-    L = "a" /* before */ | | "b",
-    L = [97,98]
-)).
-
-test("double bar with codes mode comment after spaced bars", (
-    L = "a" | | /* after */ "b",
-    L = [97,98]
-)).
-
-test("double bar with codes mode multiple comments around bars", (
-    L = "a" /* before */ | /* between */ | /* after */ "b",
-    L = [97,98]
-)).
-
-test("double bar with codes mode empty at start of chain", (
-    L = ""||"abc"||"de",
-    L = [97,98,99,100,101]
-)).
-
-test("double bar with codes mode empty in middle of chain", (
-    L = "ab"||""||"cd",
-    L = [97,98,99,100]
-)).
-
-test("double bar with codes mode empty at end of chain", (
-    L = "abc"||"de"||"",
-    L = [97,98,99,100,101]
-)).
-
-test("double bar with codes mode single character strings", (
-    L = "x"||"y"||"z",
-    L = [120,121,122]
-)).
-
-test("double bar with codes mode unicode characters", (
-    L = "α"||"β"||tail,
-    L = [945,946|tail]
-)).
-
-test("double bar with codes mode longer strings", (
-    L = "hello"||"world",
-    L = [104,101,108,108,111,119,111,114,108,100]
-)).
-
-test("double bar with codes mode nested unification", (
-    "a"||"b"||X = [97,98,99],
-    X = [99]
-)).
-
-
-test("double bar with codes mode with numeric tail", (
-    L = "abc"||123,
-    L = [97,98,99|123]
-)).
-
-
-:- set_prolog_flag(double_quotes, chars).
diff --git a/src/tests/double_bar_codes.pl b/src/tests/double_bar_codes.pl
@@ -0,0 +1,136 @@
+:- use_module(library(format)).
+
+run_test(Name, Goal) :-
+    copy_term(Goal, GoalCopy),
+    (   call(GoalCopy) ->
+        true
+    ;   format("FAILED: ~q~n", [Name]),
+        fail
+    ).
+
+report_success :- format("All tests passed", []).
+report_failure :- format("Some tests failed", []).
+
+:- set_prolog_flag(double_quotes, codes).
+
+all_tests :-
+    run_test(basic, (
+        L = "abc"||K,
+        L = [97,98,99|K]
+    )),
+    run_test(empty_string, (
+        L = ""||K,
+        L == K
+    )),
+    run_test(chain, (
+        L = "a"||"b"||"c",
+        L = [97,98,99]
+    )),
+    run_test(unification, (
+        "abc"||X = [97,98,99,100,101],
+        X = [100,101]
+    )),
+    run_test(mixed_empty, (
+        L = ""||"hello"||""||world,
+        L = [104,101,108,108,111|world]
+    )),
+    run_test(atom_tail, (
+        L = "abc"||xyz,
+        L = [97,98,99|xyz]
+    )),
+    run_test(multiline_line_comment, (
+        L = "a"|| % multiple lines
+            "b"||
+            "c",
+        L = [97,98,99]
+    )),
+    run_test(multiline_block_comment, (
+        L = "a"||"b"|| /* with comments */ "c",
+        L = [97,98,99]
+    )),
+    run_test(multiline_complex, (
+        L = "a"|| % first line
+            "b"|| /* second */
+            "c",
+        L = [97,98,99]
+    )),
+    run_test(spaced_syntax, (
+        L = "abc" | | K,
+        L = [97,98,99|K]
+    )),
+    run_test(spaced_chain, (
+        L = "a" | | "b" | | "c",
+        L = [97,98,99]
+    )),
+    run_test(block_comment_between_bars, (
+        L = "a" | /* comment */ | "b",
+        L = [97,98]
+    )),
+    run_test(line_comment_between_bars, (
+        L = "a" | % line comment
+            | "b",
+        L = [97,98]
+    )),
+    run_test(block_comment_in_spaced_bar_with_tail, (
+        L = "abc" |/* comment */| K,
+        L = [97,98,99|K]
+    )),
+    run_test(comment_before_double_bar, (
+        L = "a" /* before */ || "b",
+        L = [97,98]
+    )),
+    run_test(comment_after_double_bar, (
+        L = "a" || /* after */ "b",
+        L = [97,98]
+    )),
+    run_test(comment_before_spaced_bars, (
+        L = "a" /* before */ | | "b",
+        L = [97,98]
+    )),
+    run_test(comment_after_spaced_bars, (
+        L = "a" | | /* after */ "b",
+        L = [97,98]
+    )),
+    run_test(multiple_comments_around_bars, (
+        L = "a" /* before */ | /* between */ | /* after */ "b",
+        L = [97,98]
+    )),
+    run_test(empty_at_start_of_chain, (
+        L = ""||"abc"||"de",
+        L = [97,98,99,100,101]
+    )),
+    run_test(empty_in_middle_of_chain, (
+        L = "ab"||""||"cd",
+        L = [97,98,99,100]
+    )),
+    run_test(empty_at_end_of_chain, (
+        L = "abc"||"de"||"",
+        L = [97,98,99,100,101]
+    )),
+    run_test(single_character_strings, (
+        L = "x"||"y"||"z",
+        L = [120,121,122]
+    )),
+    run_test(unicode_characters, (
+        L = "α"||"β"||tail,
+        L = [945,946|tail]
+    )),
+    run_test(longer_strings, (
+        L = "hello"||"world",
+        L = [104,101,108,108,111,119,111,114,108,100]
+    )),
+    run_test(nested_unification, (
+        "a"||"b"||X = [97,98,99],
+        X = [99]
+    )),
+    run_test(numeric_tail, (
+        L = "abc"||123,
+        L = [97,98,99|123]
+    )).
+
+main :-
+    (   all_tests ->
+        report_success
+    ;   report_failure
+    ),
+    halt.
diff --git a/tests/scryer/cli/src_tests/double_bar_codes.stderr b/tests/scryer/cli/src_tests/double_bar_codes.stderr
diff --git a/tests/scryer/cli/src_tests/double_bar_codes.stdout b/tests/scryer/cli/src_tests/double_bar_codes.stdout
@@ -0,0 +1 @@
+All tests passed
diff --git a/tests/scryer/cli/src_tests/double_bar_codes.toml b/tests/scryer/cli/src_tests/double_bar_codes.toml
@@ -0,0 +1 @@
+args = ["-f", "--no-add-history", "src/tests/double_bar_codes.pl", "-g", "main"]

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+args = ["-f", "--no-add-history", "src/tests/double_bar_codes.pl", "-g", "main"]`