about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorFilesLines
2021-03-13 Add the start of a hindley-milner typecheckerGriffin Smith20-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 ascriptedGriffin Smith6-38/+264
2021-03-13 Factor out expr parser into its own moduleGriffin Smith4-495/+510
2021-03-08 Implement functions, both top-level and anonymousGriffin Smith10-125/+501
Implement both top-level and anonymous functions, but not closures in either case.
2021-03-07 Initial commitGriffin Smith24-0/+2316