add regression test for discussion 3359

diff --git a/tests-pl/discussion3359.pl b/tests-pl/discussion3359.pl
new file mode 100644 (file)
index 0000000..c9402a6
--- /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 1cc9a260b502e5f4b429be1064a2527f8be37511..71b256f053e93b1e4c881a1087a9c6bc3eb84896 100644 (file)
--- 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", "");
+}