steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix minor inference errors

db4
Slava Pestov 2008-08-23 15:05:46 -05:00
parent 496c1a115d
commit 8ce6924702
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
basis/stack-checker/known-words/known-words.factor
View File

@ -10,7 +10,7 @@ sequences sequences.private slots.private strings
strings.private system threads.private classes.tuple strings.private system threads.private classes.tuple
classes.tuple.private vectors vectors.private words definitions classes.tuple.private vectors vectors.private words definitions
words.private assocs summary compiler.units system.private words.private assocs summary compiler.units system.private
combinators locals.backend combinators locals.backend words.private quotations.private
stack-checker.state stack-checker.state
stack-checker.backend stack-checker.backend
stack-checker.branches stack-checker.branches
@ -145,9 +145,11 @@ M: object infer-call*
{ \ r> [ 1 infer-r> ] } { \ r> [ 1 infer-r> ] }
{ \ declare [ infer-declare ] } { \ declare [ infer-declare ] }
{ \ call [ pop-d infer-call ] } { \ call [ pop-d infer-call ] }
{ \ (call) [ pop-d infer-call ] }
{ \ curry [ infer-curry ] } { \ curry [ infer-curry ] }
{ \ compose [ infer-compose ] } { \ compose [ infer-compose ] }
{ \ execute [ infer-execute ] } { \ execute [ infer-execute ] }
{ \ (execute) [ infer-execute ] }
{ \ if [ infer-if ] } { \ if [ infer-if ] }
{ \ dispatch [ infer-dispatch ] } { \ dispatch [ infer-dispatch ] }
{ \ <tuple-boa> [ infer-<tuple-boa> ] } { \ <tuple-boa> [ infer-<tuple-boa> ] }
@ -163,9 +165,9 @@ M: object infer-call*
} case ; } case ;
{ {
>r r> declare call curry compose execute if dispatch >r r> declare call (call) curry compose execute (execute) if
<tuple-boa> (throw) load-locals get-local drop-locals dispatch <tuple-boa> (throw) load-locals get-local drop-locals
do-primitive alien-invoke alien-indirect alien-callback do-primitive alien-invoke alien-indirect alien-callback
} [ t "special" set-word-prop ] each } [ t "special" set-word-prop ] each
{ call execute dispatch load-locals get-local drop-locals } { call execute dispatch load-locals get-local drop-locals }