stack-checker: too tired to figure out which using is required but not used.
parent
31ecc5ef86
commit
dea7e0f50d
|
@ -1,21 +1,31 @@
|
||||||
! Copyright (C) 2004, 2011 Slava Pestov, Daniel Ehrenberg.
|
! Copyright (C) 2004, 2011 Slava Pestov, Daniel Ehrenberg.
|
||||||
! See http://factorcode.org/license.txt for BSD license.
|
! See http://factorcode.org/license.txt for BSD license.
|
||||||
USING: accessors alien alien.accessors alien.libraries
|
USING: fry accessors alien alien.accessors alien.private arrays
|
||||||
alien.private arrays assocs byte-arrays classes
|
byte-arrays classes continuations.private effects generic
|
||||||
classes.tuple.private combinators combinators.private
|
hashtables hashtables.private io io.backend io.files
|
||||||
combinators.short-circuit compiler.units effects fry
|
io.files.private io.streams.c kernel kernel.private math
|
||||||
generic.single.private io.files.private io.streams.c kernel
|
math.private math.parser.private memory memory.private
|
||||||
kernel.private locals locals.backend locals.types macros math
|
namespaces namespaces.private parser quotations
|
||||||
math.parser.private math.private memory memory.private
|
quotations.private sbufs sbufs.private sequences
|
||||||
namespaces quotations quotations.private sequences
|
sequences.private slots.private strings strings.private system
|
||||||
sequences.private slots.private stack-checker.alien
|
threads.private classes.tuple classes.tuple.private vectors
|
||||||
stack-checker.backend stack-checker.branches
|
vectors.private words words.private definitions assocs summary
|
||||||
stack-checker.dependencies stack-checker.errors
|
compiler.units system.private combinators tools.memory.private
|
||||||
stack-checker.row-polymorphism stack-checker.state
|
combinators.short-circuit locals locals.backend locals.types
|
||||||
stack-checker.transforms stack-checker.values
|
combinators.private stack-checker.values generic.single
|
||||||
stack-checker.visitor strings strings.private system
|
generic.single.private alien.libraries tools.dispatch.private
|
||||||
threads.private tools.dispatch.private tools.memory.private
|
macros tools.profiler.sampling.private classes.algebra
|
||||||
tools.profiler.sampling.private words words.private ;
|
stack-checker.alien
|
||||||
|
stack-checker.state
|
||||||
|
stack-checker.errors
|
||||||
|
stack-checker.visitor
|
||||||
|
stack-checker.backend
|
||||||
|
stack-checker.branches
|
||||||
|
stack-checker.transforms
|
||||||
|
stack-checker.dependencies
|
||||||
|
stack-checker.recursive-state
|
||||||
|
stack-checker.row-polymorphism ;
|
||||||
|
QUALIFIED-WITH: generic.single.private gsp
|
||||||
IN: stack-checker.known-words
|
IN: stack-checker.known-words
|
||||||
|
|
||||||
: infer-special ( word -- )
|
: infer-special ( word -- )
|
||||||
|
@ -415,7 +425,7 @@ M: object infer-call* \ call bad-macro-input ;
|
||||||
\ innermost-frame-scan { callstack } { fixnum } define-primitive
|
\ innermost-frame-scan { callstack } { fixnum } define-primitive
|
||||||
\ jit-compile { quotation } { } define-primitive
|
\ jit-compile { quotation } { } define-primitive
|
||||||
\ leaf-signal-handler { } { } define-primitive
|
\ leaf-signal-handler { } { } define-primitive
|
||||||
\ lookup-method { object array } { word } define-primitive
|
\ gsp:lookup-method { object array } { word } define-primitive
|
||||||
\ minor-gc { } { } define-primitive
|
\ minor-gc { } { } define-primitive
|
||||||
\ modify-code-heap { array object object } { } define-primitive
|
\ modify-code-heap { array object object } { } define-primitive
|
||||||
\ nano-count { } { integer } define-primitive \ nano-count make-flushable
|
\ nano-count { } { integer } define-primitive \ nano-count make-flushable
|
||||||
|
|
|
@ -132,12 +132,12 @@ M: object known>callable drop \ _ ;
|
||||||
M: literal-tuple known>callable value>> ;
|
M: literal-tuple known>callable value>> ;
|
||||||
|
|
||||||
M: composed known>callable
|
M: composed known>callable
|
||||||
[ quot1>> known known>callable ?@ ]
|
[ quot1>> ] [ quot2>> ] bi
|
||||||
[ quot2>> known known>callable ?@ ] bi append ;
|
[ known known>callable ?@ ] bi@ append ;
|
||||||
|
|
||||||
M: curried known>callable
|
M: curried known>callable
|
||||||
[ quot>> known known>callable ]
|
[ quot>> ] [ obj>> ] bi
|
||||||
[ obj>> known known>callable ] bi prefix ;
|
[ known known>callable ] bi@ prefix ;
|
||||||
|
|
||||||
M: declared-effect known>callable
|
M: declared-effect known>callable
|
||||||
known>> known>callable ;
|
known>> known>callable ;
|
||||||
|
|
Loading…
Reference in New Issue