@@ -77,7 +77,7 @@ $nl "Combinators which are recursive require additional care. In addition to being declared " { $link POSTPONE: inline } ", they must be declared " { $link POSTPONE: recursive } ". There are three restrictions that only apply to combinators with this declaration:" { $heading "Input quotation declaration" } "Input parameters which are quotations must be annotated as much in the stack effect. For example, the following will not infer:" -{ $example ": bad ( quot -- ) [ call ] keep bad ; inline recursive" "[ [ ] bad ] infer." "Cannot apply “call” to a run-time computed value\nmacro call" } +{ $unchecked-example ": bad ( quot -- ) [ call ] keep bad ; inline recursive" "[ [ ] bad ] infer." "Cannot apply “call” to a run-time computed value\nmacro call" } "The following is correct:" { $example ": good ( quot: ( -- ) -- ) [ call ] keep good ; inline recursive" "[ [ ] good ] infer." "( -- )" } "The effect of the nested quotation itself is only present for documentation purposes; the mere presence of a nested effect is sufficient to mark that value as a quotation parameter." basis/stack-checker/stack-checker-docs.factor 0aa3f19f68c219c0c6af853ae672b190dd2307f8 Slava Pestov slava@slava-pestovs-macbook-pro.local http://github.com/slavapestov/factor/commit/d6cb95718fbd01ca159ed3c95c7188b66c66410b d6cb95718fbd01ca159ed3c95c7188b66c66410b 2009-11-10T17:19:59-08:00 2009-11-10T17:19:59-08:00 stack-checker: fix help lint b186c24173daa87e2919c05e3fcbecb86054b1c9 Slava Pestov slava@slava-pestovs-macbook-pro.local