Crate kailua_check [−] [src]
Type checker for Kailua.
Type checking involves four types:
kailua_check::env::Context
is a global context for all checked files. It also exposes an interface to the type environment,kailua_types::env::Types
.kaliua_check::env::Env
is a per-file context. The checker will also build its ownEnv
for newly loaded files, but the firstEnv
should be given explicitly.kailua_check::options::Options
is a configurable portion of the type checker. Currently it allows you to configure therequire
path and the actual loading process.kailua_check::Checker
is the actual checker. Due to the internal architecture, it also holds some side information depending on the input chunk (and cannot be put toEnv
due to the lifetime mismatch).
After the type checking, Context
can be extracted into the Output
for later analysis.
Modules
env |
The type checker environment. |
options |
The user-configurable portion of the type checker. |
Structs
Checker |
The actual type checker. |
Preload |
Options to populate the execution environment before checking. |
Functions
check_from_chunk |
An one-off function to check a chunk with given |
check_from_chunk_with_preloading |
Same to |