8d5f3029e5
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
25 lines
602 B
TOML
25 lines
602 B
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"
|