stack-checker vocabulary
Factor handbook » Vocabulary index

Documentation
Stack effect checking

Metadata

Tags:	tools, compiler
Authors:	Slava Pestov

Words

Ordinary words

Word	Stack effect
infer	( quot -- effect )
infer.	( quot -- )

Files

resource:basis/stack-checker/stack-checker.factor
resource:basis/stack-checker/stack-checker-docs.factor
resource:basis/stack-checker/stack-checker-tests.factor

Metadata files

resource:basis/stack-checker/authors.txt
resource:basis/stack-checker/summary.txt
resource:basis/stack-checker/tags.txt

Children from resource:basis

Vocabulary	Summary
stack-checker.alien	Stack effect inference for alien calls
stack-checker.backend	Stack effect inference implementation
stack-checker.branches	Stack effect inference for conditionals
stack-checker.dependencies
stack-checker.errors	Errors which may be raised by stack effect inference
stack-checker.inlining	Stack effect inference for inline and inline recursive words
stack-checker.known-words	Hard-coded stack effects for primitive words
stack-checker.recursive-state	Tracking word nesting during stack effect inference
stack-checker.row-polymorphism
stack-checker.state	Variables for holding stack effect inference state
stack-checker.transforms	Support for compile-time code transformation
stack-checker.values	Abstract stack checker values
stack-checker.visitor	Node visitor protocol