tvl-depot/users/glittershark/achilles
Griffin Smith 8d5f3029e5 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 22:20:26 +00:00
..
ach feat(gs/achilles): Prefix top-level ascriptions with ty 2021-03-20 20:20:20 +00:00
src feat(gs/achilles): Implement very basic monomorphization 2021-03-20 22:20:26 +00:00
tests feat(gs/achilles): Implement very basic monomorphization 2021-03-20 22:20:26 +00:00
.envrc merge(glittershark/achilles): Subtree import at 'b93268085a' 2021-03-15 22:48:27 +02:00
.gitignore merge(glittershark/achilles): Subtree import at 'b93268085a' 2021-03-15 22:48:27 +02:00
Cargo.lock feat(gs/achilles): Implement very basic monomorphization 2021-03-20 22:20:26 +00:00
Cargo.toml feat(gs/achilles): Implement very basic monomorphization 2021-03-20 22:20:26 +00:00
default.nix chore(gs/achilles): Integrate with the depot build 2021-03-20 20:20:20 +00:00
shell.nix merge(glittershark/achilles): Subtree import at 'b93268085a' 2021-03-15 22:48:27 +02:00