Add CLI test

mthom · Dec 15, 2024 · 6706d38 · 6706d38
1 parent 98d48e1
commit 6706d38
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 0 deletions.
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
@@ -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
diff --git a/tests/scryer/cli/issues/not_supported_dcg_constructs.stdout 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
@@ -0,0 +1,7 @@
+# issue 2675
+args = [
+    "-f",
+    "--no-add-history",
+    "-g", "halt",
+     "main.pl"
+]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		error(representation_error(dcg_body),[culprit-({true}->[])]).