diff --git a/tests/scryer/cli/issues/not_supported_dcg_constructs.in/main.pl b/tests/scryer/cli/issues/not_supported_dcg_constructs.in/main.pl new file mode 100644 index 000000000..f3f3e8065 --- /dev/null +++ b/tests/scryer/cli/issues/not_supported_dcg_constructs.in/main.pl @@ -0,0 +1,8 @@ +:- use_module(library(dcgs)). +:- initialization(abolish(null/0)). +:- dynamic(null/0). + +d --> + ( { true } -> [] + ; { true } -> [] + ). diff --git a/tests/scryer/cli/issues/not_supported_dcg_constructs.stderr b/tests/scryer/cli/issues/not_supported_dcg_constructs.stderr new file mode 100644 index 000000000..e69de29bb diff --git a/tests/scryer/cli/issues/not_supported_dcg_constructs.stdout b/tests/scryer/cli/issues/not_supported_dcg_constructs.stdout new file mode 100644 index 000000000..664e0e21c --- /dev/null +++ b/tests/scryer/cli/issues/not_supported_dcg_constructs.stdout @@ -0,0 +1 @@ + error(representation_error(dcg_body),[culprit-({true}->[])]). diff --git a/tests/scryer/cli/issues/not_supported_dcg_constructs.toml b/tests/scryer/cli/issues/not_supported_dcg_constructs.toml new file mode 100644 index 000000000..12c517682 --- /dev/null +++ b/tests/scryer/cli/issues/not_supported_dcg_constructs.toml @@ -0,0 +1,7 @@ +# issue 2675 +args = [ + "-f", + "--no-add-history", + "-g", "halt", + "main.pl" +]