Add tests for all possible cases for this feature.

Author: realraphrous

compiler-core/src/type_/tests/errors.rs

@@ -3294,3 +3294,223 @@ opaque type Wibble {
 "
     );
 }
+
+#[test]
+fn unknown_variable_possible_modules_1() {
+    assert_module_error!(
+        ("module", "pub const one = 1"),
+        "
+import module
+pub fn main() {
+    one
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_2() {
+    assert_module_error!(
+        ("module", "pub fn add(x: Int, y: Int) { x + y }"),
+        "
+import module
+pub fn main() {
+    add(1, 1)
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_3() {
+    assert_module_error!(
+        ("module", "pub fn add(x: Int) { x + 1 }"),
+        "
+import module
+pub fn main() {
+    add(1, 1)
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_4() {
+    assert_module_error!(
+        ("module", "pub fn add(x: Float, y: Float) { x +. y }"),
+        "
+import module
+pub fn main() {
+    add(1, 1)
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_5() {
+    assert_module_error!(
+        (
+            "module",
+            "
+fn add(x: Int, y: Int) { x + y }
+"
+        ),
+        "
+import module
+pub fn main() {
+    add(1, 1)
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_6() {
+    assert_module_error!(
+        (
+            "module",
+            "
+pub const add = internal_add
+fn internal_add(x: Int, y: Int) { x + y }
+"
+        ),
+        "
+import module
+pub fn main() {
+    add(1, 1)
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_7() {
+    assert_module_error!(
+        (
+            "module",
+            "
+pub type OneOrTwo {
+    One
+    Two
+}
+"
+        ),
+        "
+import module
+pub fn main() {
+    One
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_8() {
+    assert_module_error!(
+        (
+            "moduleone",
+            "
+pub type MyType {
+    MyRecord(x: Int, y: Int)
+}
+"
+        ),
+        (
+            "moduletwo",
+            "
+pub type AnotherType {
+    MyRecord(x: Int)
+}
+"
+        ),
+        "
+import moduleone
+import moduletwo
+pub fn main() {
+    MyRecord(1)
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_9() {
+    assert_module_error!(
+        (
+            "module",
+            "
+pub fn add(x: Int) {
+    x + 1
+}
+"
+        ),
+        "
+import module
+pub fn main() {
+    1 |> add
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_10() {
+    assert_module_error!(
+        (
+            "module",
+            "
+pub fn add(x: Int, y: Int) {
+    x + y
+}
+"
+        ),
+        "
+import module
+pub fn main() {
+    1 |> add(2)
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_11() {
+    assert_module_error!(
+        (
+            "module",
+            "
+pub fn add(x: Int) {
+    fn(y: Int) { x + y }
+}
+"
+        ),
+        "
+import module
+pub fn main() {
+    1 |> add(2)
+}
+"
+    );
+}
+
+#[test]
+fn unknown_variable_possible_modules_12() {
+    assert_module_error!(
+        (
+            "module",
+            "
+pub fn wibble(_) {
+    1
+}
+"
+        ),
+        "
+import module
+pub fn main() {
+    use <- wibble
+    1
+}
+"
+    );
+}

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__unknown_variable_possible_modules_1.snap

@@ -0,0 +1,27 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nimport module\npub fn main() {\n    one\n}\n"
+---
+----- SOURCE CODE
+-- module.gleam
+pub const one = 1
+
+-- main.gleam
+
+import module
+pub fn main() {
+    one
+}
+
+
+----- ERROR
+error: Unknown variable
+  ┌─ /src/one/two.gleam:4:5
+  │
+4 │     one
+  │     ^^^
+
+The name `one` is not in scope here.
+Did you mean one of these:
+
+  - module.one

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__unknown_variable_possible_modules_10.snap

@@ -0,0 +1,31 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nimport module\npub fn main() {\n    1 |> add(2)\n}\n"
+---
+----- SOURCE CODE
+-- module.gleam
+
+pub fn add(x: Int, y: Int) {
+    x + y
+}
+
+
+-- main.gleam
+
+import module
+pub fn main() {
+    1 |> add(2)
+}
+
+
+----- ERROR
+error: Unknown variable
+  ┌─ /src/one/two.gleam:4:10
+  │
+4 │     1 |> add(2)
+  │          ^^^
+
+The name `add` is not in scope here.
+Did you mean one of these:
+
+  - module.add

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__unknown_variable_possible_modules_11.snap

@@ -0,0 +1,28 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nimport module\npub fn main() {\n    1 |> add(2)\n}\n"
+---
+----- SOURCE CODE
+-- module.gleam
+
+pub fn add(x: Int) {
+    fn(y: Int) { x + y }
+}
+
+
+-- main.gleam
+
+import module
+pub fn main() {
+    1 |> add(2)
+}
+
+
+----- ERROR
+error: Unknown variable
+  ┌─ /src/one/two.gleam:4:10
+  │
+4 │     1 |> add(2)
+  │          ^^^
+
+The name `add` is not in scope here.

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__unknown_variable_possible_modules_12.snap

@@ -0,0 +1,32 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nimport module\npub fn main() {\n    use <- wibble\n    1\n}\n"
+---
+----- SOURCE CODE
+-- module.gleam
+
+pub fn wibble(_) {
+    1
+}
+
+
+-- main.gleam
+
+import module
+pub fn main() {
+    use <- wibble
+    1
+}
+
+
+----- ERROR
+error: Unknown variable
+  ┌─ /src/one/two.gleam:4:12
+  │
+4 │     use <- wibble
+  │            ^^^^^^
+
+The name `wibble` is not in scope here.
+Did you mean one of these:
+
+  - module.wibble

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__unknown_variable_possible_modules_2.snap

@@ -0,0 +1,27 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nimport module\npub fn main() {\n    add(1, 1)\n}\n"
+---
+----- SOURCE CODE
+-- module.gleam
+pub fn add(x: Int, y: Int) { x + y }
+
+-- main.gleam
+
+import module
+pub fn main() {
+    add(1, 1)
+}
+
+
+----- ERROR
+error: Unknown variable
+  ┌─ /src/one/two.gleam:4:5
+  │
+4 │     add(1, 1)
+  │     ^^^
+
+The name `add` is not in scope here.
+Did you mean one of these:
+
+  - module.add

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__errors__unknown_variable_possible_modules_3.snap

@@ -0,0 +1,24 @@
+---
+source: compiler-core/src/type_/tests/errors.rs
+expression: "\nimport module\npub fn main() {\n    add(1, 1)\n}\n"
+---
+----- SOURCE CODE
+-- module.gleam
+pub fn add(x: Int) { x + 1 }
+
+-- main.gleam
+
+import module
+pub fn main() {
+    add(1, 1)
+}
+
+
+----- ERROR
+error: Unknown variable
+  ┌─ /src/one/two.gleam:4:5
+  │
+4 │     add(1, 1)
+  │     ^^^
+
+The name `add` is not in scope here.