Ezno's Checker

Contains type checking logic for TypeScript and logic for running type checking checks over ezno-parser.

See specification for all currently implemented checking features.

Definitions

At the moment it comes packaged with internal.ts.d.bin. This can either be a syntactic or binary definition of methods, types and such in the runtime.

Adding type checking outside of the Ezno toolchain

While the checker is indented for the Ezno toolchain and its parser, most (3/4) of the checker code is AST agnostic. The synthesis directory that contains the bindings with ezno-parser can disabled with no-default-features. You can build your own AST <-> Type checking APIs using it for adding Ezno's type checking features into other toolchains (without needing to parse or convert ASTs).

#TODO ASTImplementation, synthesis folder rule

Documentation

A sparse documentation of some to the internals of the functions, structures and processes exists in the /documentation folder.

Testing

Set EZNO_DEBUG to any value to trace diagnostic information from the crate::utils::notify! macro (In powershell = $Env:EZNO_DEBUG=1)