Merge pull request #2961 from rotu/patch-5

mthom · web-flow · commit f524062e5bd4 · 2025-07-31T22:10:32.000-07:00
Document `when/2` Condition
diff --git a/src/lib/when.pl b/src/lib/when.pl
@@ -19,6 +19,7 @@
 %% 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 ->

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,7 @@`
`19`	`19`	`%% when(Condition, Goal).`
`20`	`20`	`%`
`21`	`21`	`% Executes Goal when Condition becomes true.`
	`22`	+% Condition may consist of `ground(T)`, `nonvar(T)`, `C1,C2`, `C1;C2`.
`22`	`23`	`when(Condition, Goal) :-`
`23`	`24`	`( when_condition(Condition) ->`
`24`	`25`	`( Condition ->`