41 releases
| 0.18.2 | Sep 19, 2023 |
|---|---|
| 0.18.0 | Oct 3, 2021 |
| 0.17.2 | Oct 25, 2020 |
| 0.16.1 | Jul 5, 2020 |
| 0.1.3 | Jul 12, 2016 |
#1628 in Programming languages
46 downloads per month
Used in 11 crates
(3 directly)
675KB
18K
SLoC
The check crate is responsible for ensuring that an AST expression is actually a valid
program. This currently consits of three larger parts, typechecking, kindchecking and renaming.
If an AST passes the checks in Typecheck::typecheck_expr (which runs all of theses checks
the expression is expected to compile succesfully (if it does not it should be considered an
internal compiler error.
Dependencies
~5.5–8MB
~150K SLoC