From c4db6db859a67f7a5f8f1e80c8e01c5bb77b12fa Mon Sep 17 00:00:00 2001 From: Dan Rose Date: Wed, 9 Jul 2025 18:52:03 -0500 Subject: [PATCH] Create failing test case for issue #2999 --- tests/scryer/cli/issues/phrase_conformity_13.stderr | 0 tests/scryer/cli/issues/phrase_conformity_13.stdin | 7 +++++++ tests/scryer/cli/issues/phrase_conformity_13.stdout | 2 ++ tests/scryer/cli/issues/phrase_conformity_13.toml | 2 ++ 4 files changed, 11 insertions(+) create mode 100644 tests/scryer/cli/issues/phrase_conformity_13.stderr create mode 100644 tests/scryer/cli/issues/phrase_conformity_13.stdin create mode 100644 tests/scryer/cli/issues/phrase_conformity_13.stdout create mode 100644 tests/scryer/cli/issues/phrase_conformity_13.toml diff --git a/tests/scryer/cli/issues/phrase_conformity_13.stderr b/tests/scryer/cli/issues/phrase_conformity_13.stderr new file mode 100644 index 000000000..e69de29bb diff --git a/tests/scryer/cli/issues/phrase_conformity_13.stdin b/tests/scryer/cli/issues/phrase_conformity_13.stdin new file mode 100644 index 000000000..5ffce1185 --- /dev/null +++ b/tests/scryer/cli/issues/phrase_conformity_13.stdin @@ -0,0 +1,7 @@ +use_module(library(dcgs),[phrase/2]). +catch( + (phrase(({fail},1),L) -> fail), + error(type_error(callable(1), _)), + true +). +halt. diff --git a/tests/scryer/cli/issues/phrase_conformity_13.stdout b/tests/scryer/cli/issues/phrase_conformity_13.stdout new file mode 100644 index 000000000..99f1c7157 --- /dev/null +++ b/tests/scryer/cli/issues/phrase_conformity_13.stdout @@ -0,0 +1,2 @@ + true. + true. diff --git a/tests/scryer/cli/issues/phrase_conformity_13.toml b/tests/scryer/cli/issues/phrase_conformity_13.toml new file mode 100644 index 000000000..a3c36f900 --- /dev/null +++ b/tests/scryer/cli/issues/phrase_conformity_13.toml @@ -0,0 +1,2 @@ +# issue 2999 +args = ["-f", "--no-add-history"]