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.