From: Dan Rose <DanOfTheRoses@gmail.com>
Date: Sun, 18 May 2025 21:46:28 +0000 (-0500)
Subject: Document `when/2` Condition
X-Git-Tag: v0.10.0~36^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e40125ff3a362a9c147a90dd2f07034f4d9e848f;p=scryer-prolog.git

Document `when/2` Condition
---

diff --git a/src/lib/when.pl b/src/lib/when.pl
index 56734057..737aea43 100644
--- a/src/lib/when.pl
+++ b/src/lib/when.pl
@@ -19,6 +19,7 @@ Provides the predicate `when/2`.
 %% when(Condition, Goal).
 %
 % Executes Goal when Condition becomes true.
+% Condition may consist of `ground(T)`, `nonvar(T)`, `C1,C2`, `C1;C2`.
 when(Condition, Goal) :-
     (   when_condition(Condition) ->
         (   Condition ->