Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-03-13 | Add the start of a hindley-milner typechecker | Griffin Smith | 20 | -78/+980 | |
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. | |||||
2021-03-13 | Allow exprs+bindings to optionally be ascripted | Griffin Smith | 6 | -38/+264 | |
2021-03-13 | Factor out expr parser into its own module | Griffin Smith | 4 | -495/+510 | |
2021-03-08 | Implement functions, both top-level and anonymous | Griffin Smith | 10 | -125/+501 | |
Implement both top-level and anonymous functions, but not closures in either case. | |||||
2021-03-07 | Initial commit | Griffin Smith | 24 | -0/+2316 | |