]> gitweb.factorcode.org Git - factor.git/commitdiff
kernel: fix help-lint
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 30 Aug 2023 23:15:31 +0000 (16:15 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 30 Aug 2023 23:15:31 +0000 (16:15 -0700)
core/kernel/kernel-docs.factor

index ddd97b9657d9d216a2806108545a045f4b0ff665..908cd4ca05c94c01e9fd60452820cf318640ee41 100644 (file)
@@ -783,7 +783,7 @@ HELP: ?if
 
 HELP: ?when
 { $values
-    { "default" object } { "cond" object } { "true" object }
+    { "default" object } { "cond" { $quotation ( ..a default -- ..a new/f ) } } { "true" { $quotation ( ..a new -- ..a x ) } } { "default/x" { $or { $snippet "default" } { $snippet "x" } } }
 }
 { $description "Calls " { $snippet "cond" } " on the " { $snippet "default" } " object and if " { $snippet "cond" } " outputs a new object then the " { $snippet "true" } " quotation is called with that new object. Otherwise, leaves the old object on the stack." }
 { $examples
@@ -801,7 +801,7 @@ HELP: ?when
 
 HELP: ?unless
 { $values
-    { "default" object } { "cond" object } { "false" object }
+    { "default" object } { "cond" { $quotation ( ..a default -- ..a new/f ) } } { "false" { $quotation ( ..a default -- ..a x ) } } { "default/x" { $or { $snippet "default" } { $snippet "x" } } }
 }
 { $description "Calls " { $snippet "cond" } " on the " { $snippet "default" } " object and if " { $snippet "cond" } " outputs a new object. Otherwise, calls " { $snippet "false" } " with the old object." }
 { $examples