]> gitweb.factorcode.org Git - factor.git/commitdiff
continuations: fix help-lint warnings.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 18 Dec 2022 18:16:20 +0000 (10:16 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 18 Dec 2022 18:16:20 +0000 (10:16 -0800)
core/continuations/continuations-docs.factor

index 7c5fcaa0722587febbb54c91e5826d8cda1835d1..148180d7df202c78c46afa790b6814ebfe9ec904 100644 (file)
@@ -188,7 +188,7 @@ HELP: ignore-error
 { $description "Calls the quotation. If an exception is thrown which is matched by the 'check' quotation it is ignored. Otherwise the error is rethrown." } ;
 
 HELP: ignore-error/f
-{ $values { "quot" quotation } { "check" quotation } }
+{ $values { "quot" quotation } { "check" quotation } { "x/f" { $maybe object } } }
 { $description "Like " { $link ignore-error } ", but if a matched exception is thrown " { $link f } " is put on the stack." } ;
 
 HELP: ignore-errors