Module erg_compiler::ty

Expand description

defines Type (type kind).

Type(コンパイラ等で使われる「型」を表現する)を定義する

Re-exports

pub use predicate::Predicate;

pub use const_subr::*;

バイトコードからオブジェクトを復元する

defines ValueObj (used in the compiler, VM).

e.g.

e.g. (x: Int, ?base: Int) -> Int => SubrTy{ kind: Func, non_default_params: [x: Int], default_params: [base: Int] return_t: Int }

Opcode used when Erg implements its own processor バイトコード命令で、in-place型付けをするオブジェクト MaybeBigがついている場合、固定長でない可能性あり(実行時検査が必要)

バイトコード命令で、in-place型付けをするオブジェクトペアとりあえずは必要性の高いペアから登録する全ての式の型が確認されているので、戻り値の型は不要

cloneのコストがあるためなるべく.ref_tを使うようにすることいくつかの構造体は直接Typeを保持していないので、その場合は.tを使う