Merge branch 'master' of git://factorcode.org/git/factor
commit
c9e156a73b
|
@ -80,4 +80,4 @@ TUPLE: inconsistent-recursive-call-error word ;
|
||||||
TUPLE: unknown-primitive-error ;
|
TUPLE: unknown-primitive-error ;
|
||||||
|
|
||||||
: unknown-primitive-error ( -- * )
|
: unknown-primitive-error ( -- * )
|
||||||
\ unknown-primitive-error inference-error ;
|
\ unknown-primitive-error inference-warning ;
|
||||||
|
|
|
@ -141,9 +141,7 @@ M: object infer-call*
|
||||||
apply-word/effect ;
|
apply-word/effect ;
|
||||||
|
|
||||||
: infer-exit ( -- )
|
: infer-exit ( -- )
|
||||||
\ exit
|
\ exit (( n -- * )) apply-word/effect ;
|
||||||
{ integer } { } t >>terminated? <effect>
|
|
||||||
apply-word/effect ;
|
|
||||||
|
|
||||||
: infer-load-locals ( -- )
|
: infer-load-locals ( -- )
|
||||||
pop-literal nip
|
pop-literal nip
|
||||||
|
@ -189,7 +187,7 @@ M: object infer-call*
|
||||||
{ \ load-locals [ infer-load-locals ] }
|
{ \ load-locals [ infer-load-locals ] }
|
||||||
{ \ get-local [ infer-get-local ] }
|
{ \ get-local [ infer-get-local ] }
|
||||||
{ \ drop-locals [ infer-drop-locals ] }
|
{ \ drop-locals [ infer-drop-locals ] }
|
||||||
{ \ do-primitive [ unknown-primitive-error inference-warning ] }
|
{ \ do-primitive [ unknown-primitive-error ] }
|
||||||
{ \ alien-invoke [ infer-alien-invoke ] }
|
{ \ alien-invoke [ infer-alien-invoke ] }
|
||||||
{ \ alien-indirect [ infer-alien-indirect ] }
|
{ \ alien-indirect [ infer-alien-indirect ] }
|
||||||
{ \ alien-callback [ infer-alien-callback ] }
|
{ \ alien-callback [ infer-alien-callback ] }
|
||||||
|
@ -207,7 +205,7 @@ M: object infer-call*
|
||||||
{
|
{
|
||||||
declare call (call) slip 2slip 3slip dip 2dip 3dip
|
declare call (call) slip 2slip 3slip dip 2dip 3dip
|
||||||
curry compose execute (execute) if dispatch <tuple-boa>
|
curry compose execute (execute) if dispatch <tuple-boa>
|
||||||
(throw) load-local load-locals get-local drop-locals do-primitive
|
(throw) exit load-local load-locals get-local drop-locals do-primitive
|
||||||
alien-invoke alien-indirect alien-callback
|
alien-invoke alien-indirect alien-callback
|
||||||
} [ t "special" set-word-prop ] each
|
} [ t "special" set-word-prop ] each
|
||||||
|
|
||||||
|
|
|
@ -6,7 +6,8 @@ quotations effects tools.test continuations generic.standard
|
||||||
sorting assocs definitions prettyprint io inspector
|
sorting assocs definitions prettyprint io inspector
|
||||||
classes.tuple classes.union classes.predicate debugger
|
classes.tuple classes.union classes.predicate debugger
|
||||||
threads.private io.streams.string io.timeouts io.thread
|
threads.private io.streams.string io.timeouts io.thread
|
||||||
sequences.private destructors combinators eval locals.backend ;
|
sequences.private destructors combinators eval locals.backend
|
||||||
|
system ;
|
||||||
IN: stack-checker.tests
|
IN: stack-checker.tests
|
||||||
|
|
||||||
\ infer. must-infer
|
\ infer. must-infer
|
||||||
|
@ -582,3 +583,5 @@ DEFER: eee'
|
||||||
[ debugging-curry-folding ] curry call ; inline recursive
|
[ debugging-curry-folding ] curry call ; inline recursive
|
||||||
|
|
||||||
[ [ ] debugging-curry-folding ] must-infer
|
[ [ ] debugging-curry-folding ] must-infer
|
||||||
|
|
||||||
|
[ [ exit ] [ 1 2 3 ] if ] must-infer
|
Loading…
Reference in New Issue