diff options
| author | Griffin Smith <grfn@gws.fyi> | 2021-03-20T22·14-0400 |
|---|---|---|
| committer | glittershark <grfn@gws.fyi> | 2021-03-20T22·20+0000 |
| commit | 8d5f3029e531d1163668f34e65b73cb6d639767f (patch) | |
| tree | 48c511fc7eac8d1b46c98af7daa5708b78959449 /users/glittershark/achilles/tests | |
| parent | e7033bd8b066c8f4163a4f6aa618a39d8110dc6c (diff) | |
feat(gs/achilles): Implement very basic monomorphization r/2296
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
Diffstat (limited to 'users/glittershark/achilles/tests')
| -rw-r--r-- | users/glittershark/achilles/tests/compile.rs | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/users/glittershark/achilles/tests/compile.rs b/users/glittershark/achilles/tests/compile.rs index 1b4da463a980..51ffb239b7e4 100644 --- a/users/glittershark/achilles/tests/compile.rs +++ b/users/glittershark/achilles/tests/compile.rs @@ -14,12 +14,11 @@ const FIXTURES: &[Fixture] = &[ exit_code: 5, expected_output: "", }, - // TODO(grfn): needs monomorphization - // Fixture { - // name: "functions", - // exit_code: 9, - // expected_output: "", - // }, + Fixture { + name: "functions", + exit_code: 9, + expected_output: "", + }, Fixture { name: "externs", exit_code: 0, |