stack-checker ボキャブラリ

ドキュメント
Stack effect checking

メタデータ

タグ:	tools, compiler
作者:	Slava Pestov

ワード

総称ワード

ワード	スタック効果
infer	( quot -- effect )

通常ワード

ワード	スタック効果
infer.	( quot -- )

ファイル

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

resource:basis の子

ボキャブラリ	概要
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.errors	Errors which may be reaised 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.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