From: bakaq <bakaq@bakaq.net>
Date: Sun, 1 Oct 2023 00:33:42 +0000 (-0300)
Subject: Add tests for #2056
X-Git-Tag: remove~63^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=21c61b6e3a808fb8034ab72dfb0444a786f2a74b;p=scryer-prolog.git

Add tests for #2056
---

diff --git a/src/tests/dif.pl b/src/tests/dif.pl
index bb1c76d6..752f1405 100644
--- a/src/tests/dif.pl
+++ b/src/tests/dif.pl
@@ -196,6 +196,17 @@ test("scryer-prolog#1956",(
     Res = []
 )).
 
+% https://github.com/mthom/scryer-prolog/issues/2056
+test("scryer-prolog#2056",(
+    set_prolog_flag(occurs_check, false),
+    C=[D|E],
+    D=[C],
+    A=[A],
+    dif(A,[D]),
+
+    \+ E=[]
+)).
+
 main :-
     findall(test(Name, Goal), test(Name, Goal), Tests),
     run_tests(Tests, Failed),