From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Wed, 3 Jun 2026 19:09:39 +0000 (+0200)
Subject: add regression test for discussion 3359
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3a2d57db33d49139d13c1e8cfba6eb3d79bcec19;p=scryer-prolog.git

add regression test for discussion 3359
---

diff --git a/tests-pl/discussion3359.pl b/tests-pl/discussion3359.pl
new file mode 100644
index 00000000..c9402a6c
--- /dev/null
+++ b/tests-pl/discussion3359.pl
@@ -0,0 +1,11 @@
+:- use_module(library(clpz)).
+:- use_module(library(tabling)).
+
+:- table expr//0.
+
+expr --> "1".
+expr --> expr, "+", expr.
+
+run :- phrase(expr, "1+1+1+1+1").
+
+:- initialization(run).
\ No newline at end of file
diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs
index 1cc9a260..71b256f0 100644
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@ -173,3 +173,9 @@ fn http_open_hanging() {
             "received response with status code:200\nreceived response with status code:200\nreceived response with status code:200\nreceived response with status code:200\nreceived response with status code:200\n"
     );
 }
+
+#[test]
+#[cfg_attr(miri, ignore = "it takes too long to run")]
+fn discussion3359() {
+    load_module_test("tests-pl/discussion3359.pl", "");
+}