From 02b8dcf9f3ee6cbe87d5783e316744bc16e86779 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 27 Nov 2008 21:57:16 -0600 Subject: [PATCH] Stack checker now knows about wlet words --- basis/stack-checker/known-words/known-words.factor | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/basis/stack-checker/known-words/known-words.factor b/basis/stack-checker/known-words/known-words.factor index 6585698b23..09fce257bb 100644 --- a/basis/stack-checker/known-words/known-words.factor +++ b/basis/stack-checker/known-words/known-words.factor @@ -186,6 +186,9 @@ M: object infer-call* : infer-local-writer ( word -- ) (( value -- )) apply-word/effect ; +: infer-local-word ( word -- ) + "local-word-def" word-prop infer-quot-here ; + { >r r> declare call (call) slip 2slip 3slip curry compose execute (execute) if dispatch (throw) @@ -209,6 +212,7 @@ M: object infer-call* { [ dup local? ] [ infer-local-reader ] } { [ dup local-reader? ] [ infer-local-reader ] } { [ dup local-writer? ] [ infer-local-writer ] } + { [ dup local-word? ] [ infer-local-word ] } { [ dup recursive-word? ] [ call-recursive-word ] } [ dup infer-word apply-word/effect ] } cond ;