tvl-depot/users/grfn/achilles/Cargo.toml

[package]
name = "achilles"
version = "0.1.0"
authors = ["Griffin Smith <root@gws.fyi>"]
edition = "2018"

[dependencies]
anyhow = "1.0.38"
bimap = "0.6.0"
clap = "3.0.0-beta.2"
derive_more = "0.99.11"
inkwell = { git = "https://github.com/TheDan64/inkwell", branch = "master", features = ["llvm11-0"] }
itertools = "0.10.0"
lazy_static = "1.4.0"
llvm-sys = "110.0.1"
nom = "6.1.2"
nom-trace = { git = "https://github.com/glittershark/nom-trace", branch = "nom-6" }
pratt = "0.3.0"
proptest = "1.0.0"
test-strategy = "0.1.1"
thiserror = "1.0.24"
void = "1.0.2"

[dev-dependencies]
crate-root = "0.1.3"
pretty_assertions = "0.7.1"
Initial commit 2021-03-07 21:29:59 +01:00			`[package]`
			`name = "achilles"`
			`version = "0.1.0"`
			`authors = ["Griffin Smith <root@gws.fyi>"]`
			`edition = "2018"`

			`[dependencies]`
			`anyhow = "1.0.38"`
Universally quantified type variables Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm. 2021-03-14 21:43:47 +01:00			`bimap = "0.6.0"`
Initial commit 2021-03-07 21:29:59 +01:00			`clap = "3.0.0-beta.2"`
			`derive_more = "0.99.11"`
			`inkwell = { git = "https://github.com/TheDan64/inkwell", branch = "master", features = ["llvm11-0"] }`
Implement functions, both top-level and anonymous Implement both top-level and anonymous functions, but not closures in either case. 2021-03-08 06:04:44 +01:00			`itertools = "0.10.0"`
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. 2021-03-14 03:57:27 +01:00			`lazy_static = "1.4.0"`
Initial commit 2021-03-07 21:29:59 +01:00			`llvm-sys = "110.0.1"`
			`nom = "6.1.2"`
			`nom-trace = { git = "https://github.com/glittershark/nom-trace", branch = "nom-6" }`
			`pratt = "0.3.0"`
			`proptest = "1.0.0"`
			`test-strategy = "0.1.1"`
			`thiserror = "1.0.24"`
feat(gs/achilles): Implement very basic monomorphization Implement very basic monomorphization, by recording type variable instantiations when typechecking Call nodes and then using those in a new hir Visitor trait to copy the body of any generic decls for each possible set of instantiation of the type variables. Change-Id: Iab54030973e5d66e2b8bcd074b4cb6c001a90123 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2617 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI 2021-03-20 23:14:23 +01:00			`void = "1.0.2"`
Universally quantified type variables Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm. 2021-03-14 21:43:47 +01:00
			`[dev-dependencies]`
			`crate-root = "0.1.3"`
feat(achilles): Implement a Unit type Add support for a zero-sized Unit type. This requires some special at the codegen level because LLVM (unsurprisingly) only allows Void types in function return position - to make that a little easier to handle there's a new pass that strips any unit-only expressions and pulls unit-only function arguments up to new `let` bindings, so we never have to actually pass around unit values. Change-Id: I0fc18a516821f2d69172c42a6a5d246b23471e38 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2695 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI 2021-03-28 19:28:49 +02:00			`pretty_assertions = "0.7.1"`