fix(LS): make visiters ignore type variables from other definitions

Author: ankddev

compiler-core/src/language_server/code_action.rs

@@ -1366,7 +1366,6 @@ pub struct AnnotateTopLevelDefinitions<'a> {
     module: &'a Module,
     params: &'a CodeActionParams,
     edits: TextEdits<'a>,
-    printer: Printer<'a>,
     is_hovering_definition: bool,
 }
 
@@ -1380,9 +1379,6 @@ impl<'a> AnnotateTopLevelDefinitions<'a> {
             module,
             params,
             edits: TextEdits::new(line_numbers),
-            // We need to use the same printer for all the edits because otherwise
-            // we could get duplicate type variable names.
-            printer: Printer::new_without_type_variables(&module.ast.names),
             is_hovering_definition: false,
         }
     }
@@ -1408,11 +1404,6 @@ impl<'a> AnnotateTopLevelDefinitions<'a> {
 
 impl<'ast> ast::visit::Visit<'ast> for AnnotateTopLevelDefinitions<'_> {
     fn visit_typed_module_constant(&mut self, constant: &'ast TypedModuleConstant) {
-        // Since type variable names are local to definitions, any type variables
-        // in other parts of the module shouldn't affect what we print for the
-        // annotations of this constant.
-        self.printer.clear_type_variables();
-
         let code_action_range = self.edits.src_span_to_lsp_range(constant.location);
 
         if overlaps(code_action_range, self.params.range) {
@@ -1426,18 +1417,19 @@ impl<'ast> ast::visit::Visit<'ast> for AnnotateTopLevelDefinitions<'_> {
 
         self.edits.insert(
             constant.name_location.end,
-            format!(": {}", self.printer.print_type(&constant.type_)),
+            format!(
+                ": {}",
+                // Create new printer to ignore type variables from other definitions
+                Printer::new_without_type_variables(&self.module.ast.names)
+                    .print_type(&constant.type_)
+            ),
         );
     }
 
     fn visit_typed_function(&mut self, fun: &'ast ast::TypedFunction) {
-        // Since type variable names are local to definitions, any type variables
-        // in other parts of the module shouldn't affect what we print for the
-        // annotations of this functions. The only variables which cannot clash
-        // are ones defined in the signature of this function, which we register
-        // when we visit the parameters of this function inside `collect_type_variables`.
-        self.printer.clear_type_variables();
-        collect_type_variables(&mut self.printer, fun);
+        // Create new printer to ignore type variables from other definitions
+        let mut printer = Printer::new_without_type_variables(&self.module.ast.names);
+        collect_type_variables(&mut printer, fun);
 
         ast::visit::visit_typed_function(self, fun);
 
@@ -1463,15 +1455,15 @@ impl<'ast> ast::visit::Visit<'ast> for AnnotateTopLevelDefinitions<'_> {
 
             self.edits.insert(
                 argument.location.end,
-                format!(": {}", self.printer.print_type(&argument.type_)),
+                format!(": {}", printer.print_type(&argument.type_)),
             );
         }
 
         // Annotate the return type if it isn't already annotated
         if fun.return_annotation.is_none() {
             self.edits.insert(
                 fun.location.end,
-                format!(" -> {}", self.printer.print_type(&fun.return_type)),
+                format!(" -> {}", printer.print_type(&fun.return_type)),
             );
         }
     }

compiler-core/src/language_server/tests/action.rs

@@ -10644,16 +10644,30 @@ pub fn add_one(thing: Int) {
     );
 }
 
-// FIXME: make test working
-// #[test]
-// fn annotate_all_top_level_definitions_with_two_generic_functions() {
-//     assert_code_action!(
-//         ANNOTATE_TOP_LEVEL_DEFINITIONS,
-//         r#"
-// fn wibble(one) { todo }
-
-// fn wobble(other) { todo }
-// "#,
-//         find_position_of("wobble").to_selection()
-//     );
-// }
+#[test]
+fn annotate_all_top_level_definitions_with_two_generic_functions() {
+    assert_code_action!(
+        ANNOTATE_TOP_LEVEL_DEFINITIONS,
+        r#"
+fn wibble(one) { todo }
+
+fn wobble(other) { todo }
+"#,
+        find_position_of("wobble").to_selection()
+    );
+}
+
+#[test]
+fn annotate_all_top_level_definitions_with_constant_and_generic_functions() {
+    assert_code_action!(
+        ANNOTATE_TOP_LEVEL_DEFINITIONS,
+        r#"
+const answer = 42
+
+fn wibble(one) { todo }
+
+fn wobble(other) { todo }
+"#,
+        find_position_of("wobble").to_selection()
+    );
+}

compiler-core/src/language_server/tests/snapshots/gleam_core__language_server__tests__action__annotate_all_top_level_definitions_with_constant_and_generic_functions.snap

@@ -0,0 +1,21 @@
+---
+source: compiler-core/src/language_server/tests/action.rs
+expression: "\nconst answer = 42\n\nfn wibble(one) { todo }\n\nfn wobble(other) { todo }\n"
+---
+----- BEFORE ACTION
+
+const answer = 42
+
+fn wibble(one) { todo }
+
+fn wobble(other) { todo }
+   ↑                     
+
+
+----- AFTER ACTION
+
+const answer: Int = 42
+
+fn wibble(one: a) -> b { todo }
+
+fn wobble(other: a) -> b { todo }

compiler-core/src/language_server/tests/snapshots/gleam_core__language_server__tests__action__annotate_all_top_level_definitions_with_two_generic_functions.snap

@@ -0,0 +1,17 @@
+---
+source: compiler-core/src/language_server/tests/action.rs
+expression: "\nfn wibble(one) { todo }\n\nfn wobble(other) { todo }\n"
+---
+----- BEFORE ACTION
+
+fn wibble(one) { todo }
+
+fn wobble(other) { todo }
+   ↑                     
+
+
+----- AFTER ACTION
+
+fn wibble(one: a) -> b { todo }
+
+fn wobble(other: a) -> b { todo }