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"]