]> gitweb.factorcode.org Git - factor.git/commitdiff
continuations: Clarify ignore-error, ignore-error/f, ignore-errors stack effects
authorGiftpflanze <gifti@tools.wmflabs.org>
Fri, 16 Dec 2022 03:09:39 +0000 (03:09 +0000)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 16 Dec 2022 04:32:44 +0000 (20:32 -0800)
core/continuations/continuations.factor

index 7cc989e27ab04d5a09b46fa652f0d7c0cd91a22d..4e1077250c3ff371e3f456098b2cb523acee2fd5 100644 (file)
@@ -149,13 +149,13 @@ callback-error-hook [ [ die rethrow ] ] initialize
         ] curry
     ] dip ifcc ; inline
 
-: ignore-errors ( quot -- )
+: ignore-errors ( ... quot: ( ... -- ... ) -- ... )
     [ drop ] recover ; inline
 
-: ignore-error ( quot check: ( error -- ? ) -- )
+: ignore-error ( ... quot: ( ... -- ... ) check: ( error -- ? ) -- ... )
     '[ dup @ [ drop ] [ rethrow ] if ] recover ; inline
 
-: ignore-error/f ( quot check: ( error -- ? ) -- )
+: ignore-error/f ( ... quot: ( ... -- ... x ) check: ( error -- ? ) -- ... x/f )
     '[ dup @ [ drop f ] [ rethrow ] if ] recover ; inline
 
 : cleanup ( try cleanup-always cleanup-error -- )