15 releases
0.0.15 | Apr 10, 2024 |
---|---|
0.0.14 | Jan 3, 2024 |
0.0.13 | Dec 20, 2023 |
0.0.12 | Nov 20, 2023 |
0.0.1 | Feb 25, 2023 |
#660 in Programming languages
53 downloads per month
Used in ezno
1MB
24K
SLoC
Ezno's Checker
Contains type checking logic.
See specification for what is currently implemented.
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).
Testing
Set EZNO_DEBUG
to any value to trace diagnostic information from the crate::utils::notify!
macro (In powershell = $Env:EZNO_DEBUG=1
)
Dependencies
~1.8–2.8MB
~55K SLoC