kailua_check 1.0.4

Type checker for Kailua
Documentation

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 own Env for newly loaded files, but the first Env should be given explicitly.

  • kailua_check::options::Options is a configurable portion of the type checker. Currently it allows you to configure the require 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 to Env due to the lifetime mismatch).

After the type checking, Context can be extracted into the Output for later analysis.