about summary refs log tree commit diff
path: root/users/glittershark/achilles/tests/compile.rs
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2021-03-20T22·14-0400
committerglittershark <grfn@gws.fyi>2021-03-20T22·20+0000
commit8d5f3029e531d1163668f34e65b73cb6d639767f (patch)
tree48c511fc7eac8d1b46c98af7daa5708b78959449 /users/glittershark/achilles/tests/compile.rs
parente7033bd8b066c8f4163a4f6aa618a39d8110dc6c (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/compile.rs')
-rw-r--r--users/glittershark/achilles/tests/compile.rs11
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,