diff options
| author | Griffin Smith <root@gws.fyi> | 2021-03-14T02·57-0500 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2021-03-14T03·07-0500 |
| commit | 32a5c0ff0fc58aa6721c1e0ad41950bde2d66744 (patch) | |
| tree | ef5dcf5234c2a86607ee2f8f30db73bad016e075 /Cargo.lock | |
| parent | f8beda81fbe8d04883aee71ff4ea078f897c6de4 (diff) | |
Add the start of a hindley-milner typechecker
The beginning of a parse-don't-validate-based hindley-milner typechecker, which returns on success an IR where every AST node trivially knows its own type, and using those types to determine LLVM types in codegen.
Diffstat (limited to 'Cargo.lock')
| -rw-r--r-- | Cargo.lock | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Cargo.lock b/Cargo.lock index d8eaedeca181..8ec5ad6cf952 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -9,6 +9,7 @@ dependencies = [ "derive_more", "inkwell", "itertools", + "lazy_static", "llvm-sys", "nom", "nom-trace", |