Add tests for #2056

2023-09-30 21:33:42 -03:00
parent b065e1cd53
commit 21c61b6e3a
1 changed files with 11 additions and 0 deletions
--- 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),