Fix for Problem with soft-if-then-else

trealla-prolog · Jan 23, 2025 · 490f39c · 490f39c
1 parent b611e6c
commit 490f39c
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/tests/issues/test660.expected b/tests/issues/test660.expected
@@ -0,0 +1 @@
+here1{true}here1{false}here1{false}
diff --git a/tests/issues/test660.pl b/tests/issues/test660.pl
@@ -0,0 +1,10 @@
+:- initialization(main).
+
+main :-
+     member(X,[true,false]),
+     ( member(X,[false,true,false]) *->
+         write(here1)
+     ; write(here2)
+     ),
+     write({X}), fail.
+main :- nl.