language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-12-23 08:48:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Fix MODULE NOT FOUND regression

Browse source
This commit is contained in:
Richard Feldman 2025-11-26 07:52:25 -05:00
parent b7936398ae
commit f753b29c12
No known key found for this signature in database
48 changed files with 1060 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

45
src/canonicalize/Can.zig
View file

@ -2864,6 +2864,21 @@ fn importAliased(
const current_scope = self.currentScope();
_ = try current_scope.introduceImportedModule(self.env.gpa, module_name_text, module_import_idx);
// 9. Check that this module actually exists, and if not report an error
if (self.module_envs) |envs_map| {
if (!envs_map.contains(module_name)) {
try self.env.pushDiagnostic(Diagnostic{ .module_not_found = .{
.module_name = module_name,
.region = import_region,
} });
}
} else {
try self.env.pushDiagnostic(Diagnostic{ .module_not_found = .{
.module_name = module_name,
.region = import_region,
} });
}
// If this import satisfies an exposed type requirement (e.g., platform re-exporting
// an imported module), remove it from exposed_type_texts so we don't report
// "EXPOSED BUT NOT DEFINED" for re-exported imports.
@ -2918,6 +2933,21 @@ fn importWithAlias(
const current_scope = self.currentScope();
_ = try current_scope.introduceImportedModule(self.env.gpa, module_name_text, module_import_idx);
// 8. Check that this module actually exists, and if not report an error
if (self.module_envs) |envs_map| {
if (!envs_map.contains(module_name)) {
try self.env.pushDiagnostic(Diagnostic{ .module_not_found = .{
.module_name = module_name,
.region = import_region,
} });
}
} else {
try self.env.pushDiagnostic(Diagnostic{ .module_not_found = .{
.module_name = module_name,
.region = import_region,
} });
}
// If this import satisfies an exposed type requirement (e.g., platform re-exporting
// an imported module), remove it from exposed_type_texts so we don't report
// "EXPOSED BUT NOT DEFINED" for re-exported imports.
@ -2965,6 +2995,21 @@ fn importUnaliased(
const current_scope = self.currentScope();
_ = try current_scope.introduceImportedModule(self.env.gpa, module_name_text, module_import_idx);
// 6. Check that this module actually exists, and if not report an error
if (self.module_envs) |envs_map| {
if (!envs_map.contains(module_name)) {
try self.env.pushDiagnostic(Diagnostic{ .module_not_found = .{
.module_name = module_name,
.region = import_region,
} });
}
} else {
try self.env.pushDiagnostic(Diagnostic{ .module_not_found = .{
.module_name = module_name,
.region = import_region,
} });
}
// If this import satisfies an exposed type requirement (e.g., platform re-exporting
// an imported module), remove it from exposed_type_texts so we don't report
// "EXPOSED BUT NOT DEFINED" for re-exported imports.

11
src/canonicalize/test/import_validation_test.zig
View file

@ -164,13 +164,10 @@ test "import validation - mix of MODULE NOT FOUND, TYPE NOT EXPOSED, VALUE NOT E
}
}
// Verify we got the expected errors
// Note: MODULE NOT FOUND is no longer reported during canonicalization because
// local imports are resolved later by the build system's scheduler. Only
// VALUE NOT EXPOSED and TYPE NOT EXPOSED are checked at canonicalization time.
try expectEqual(@as(u32, 0), module_not_found_count); // No longer reported at canonicalization
try expectEqual(@as(u32, 1), module_not_found_count); // NonExistent module
try expectEqual(@as(u32, 1), value_not_exposed_count); // doesNotExist
try expectEqual(@as(u32, 1), type_not_exposed_count); // InvalidType
try expectEqual(false, found_non_existent); // No longer reported at canonicalization
try expectEqual(true, found_non_existent);
try expectEqual(true, found_does_not_exist);
try expectEqual(true, found_invalid_type);
// Verify that valid imports didn't generate errors
@ -211,9 +208,7 @@ test "import validation - no module_envs provided" {
for (diagnostics) |diagnostic| {
switch (diagnostic) {
.module_not_found => {
// MODULE NOT FOUND is no longer reported at canonicalization time
// (local imports are resolved later by the scheduler)
try testing.expect(false);
// expected this error message, ignore
},
.module_header_deprecated => {
// expected deprecation warning, ignore

63
src/check/test/type_checking_integration.zig
View file

@ -2228,3 +2228,66 @@ test "check type - pure zero-arg function annotation" {
// Expected: zero-arg pure function returning empty record
try checkTypesModule(source, .{ .pass = .last_def }, "({}) -> { }");
}
test "imports of non-existent modules produce MODULE NOT FOUND errors" {
// This test verifies that importing modules that don't exist produces
// MODULE NOT FOUND errors. This is a regression test - a parser change
// for zero-arg functions accidentally caused these errors to disappear.
//
// Source from test/snapshots/can_import_comprehensive.md
const source =
\\import json.Json
\\import http.Client as Http exposing [get, post]
\\import utils.String as Str
\\
\\main = {
\\ client = Http.get
\\ parser = Json.utf8
\\ helper = Str.trim
\\
\\ # Test direct module access
\\ result1 = Json.parse
\\
\\ # Test aliased module access
\\ result2 = Http.post
\\
\\ # Test exposed items (should work without module prefix)
\\ result3 = get
\\ result4 = post
\\
\\ # Test multiple qualified access
\\ combined = Str.concat
\\
\\ (
\\ client,
\\ parser,
\\ helper,
\\ result1,
\\ result2,
\\ result3,
\\ result4,
\\ combined,
\\ )
\\}
;
var test_env = try TestEnv.init("Test", source);
defer test_env.deinit();
const diagnostics = try test_env.module_env.getDiagnostics();
defer test_env.gpa.free(diagnostics);
// Count MODULE NOT FOUND errors
var module_not_found_count: usize = 0;
for (diagnostics) |diag| {
if (diag == .module_not_found) {
module_not_found_count += 1;
}
}
// We expect exactly 3 MODULE NOT FOUND errors:
// 1. json.Json
// 2. http.Client
// 3. utils.String
try testing.expectEqual(@as(usize, 3), module_not_found_count);
}

36
test/snapshots/can_import_comprehensive.md
View file

@ -40,7 +40,10 @@ main = {
}
~~~
# EXPECTED
MODULE NOT FOUND - can_import_comprehensive.md:1:1:1:17
MODULE NOT FOUND - can_import_comprehensive.md:2:1:2:48
DUPLICATE DEFINITION - can_import_comprehensive.md:3:1:3:27
MODULE NOT FOUND - can_import_comprehensive.md:3:1:3:27
UNDEFINED VARIABLE - can_import_comprehensive.md:6:14:6:22
UNDEFINED VARIABLE - can_import_comprehensive.md:7:14:7:23
UNDEFINED VARIABLE - can_import_comprehensive.md:8:14:8:22
@ -50,6 +53,28 @@ UNDEFINED VARIABLE - can_import_comprehensive.md:17:15:17:18
UNDEFINED VARIABLE - can_import_comprehensive.md:18:15:18:19
UNDEFINED VARIABLE - can_import_comprehensive.md:21:16:21:26
# PROBLEMS
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**can_import_comprehensive.md:1:1:1:17:**
```roc
import json.Json
```
^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `http.Client` was not found in this Roc project.
You're attempting to use this module here:
**can_import_comprehensive.md:2:1:2:48:**
```roc
import http.Client as Http exposing [get, post]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**DUPLICATE DEFINITION**
The name `Str` is being redeclared in this scope.
@ -68,6 +93,17 @@ import json.Json
^
**MODULE NOT FOUND**
The module `utils.String` was not found in this Roc project.
You're attempting to use this module here:
**can_import_comprehensive.md:3:1:3:27:**
```roc
import utils.String as Str
```
^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `get` in this scope.
Is there an `import` or `exposing` missing up-top?

36
test/snapshots/can_import_exposing_types.md
View file

@ -62,7 +62,10 @@ combineTrys = |jsonTry, httpStatus|
UNDECLARED TYPE - can_import_exposing_types.md:29:18:29:24
UNDECLARED TYPE - can_import_exposing_types.md:30:18:30:24
UNDECLARED TYPE - can_import_exposing_types.md:31:23:31:31
MODULE NOT FOUND - can_import_exposing_types.md:1:1:1:49
MODULE NOT FOUND - can_import_exposing_types.md:2:1:2:64
DUPLICATE DEFINITION - can_import_exposing_types.md:3:1:3:32
MODULE NOT FOUND - can_import_exposing_types.md:3:1:3:32
UNDECLARED TYPE - can_import_exposing_types.md:6:24:6:29
UNDECLARED TYPE - can_import_exposing_types.md:6:31:6:36
UNDEFINED VARIABLE - can_import_exposing_types.md:7:21:7:31
@ -122,6 +125,28 @@ This type is referenced here:
^^^^^^^^
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**can_import_exposing_types.md:1:1:1:49:**
```roc
import json.Json exposing [Value, Error, Config]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `http.Client` was not found in this Roc project.
You're attempting to use this module here:
**can_import_exposing_types.md:2:1:2:64:**
```roc
import http.Client as Http exposing [Request, Response, Status]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**DUPLICATE DEFINITION**
The name `Try` is being redeclared in this scope.
@ -140,6 +165,17 @@ import json.Json exposing [Value, Error, Config]
^
**MODULE NOT FOUND**
The module `utils.Try` was not found in this Roc project.
You're attempting to use this module here:
**can_import_exposing_types.md:3:1:3:32:**
```roc
import utils.Try exposing [Try]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDECLARED TYPE**
The type _Value_ is not declared in this scope.

12
test/snapshots/can_import_json.md
View file

@ -10,8 +10,20 @@ import json.Json
main = Json.utf8
~~~
# EXPECTED
MODULE NOT FOUND - can_import_json.md:1:1:1:17
UNDEFINED VARIABLE - can_import_json.md:3:8:3:17
# PROBLEMS
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**can_import_json.md:1:1:1:17:**
```roc
import json.Json
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `utf8` in this scope.
Is there an `import` or `exposing` missing up-top?

36
test/snapshots/can_import_nested_modules.md
View file

@ -31,6 +31,9 @@ validateAuth : HttpAuth.Credentials -> Try(HttpAuth.Token, HttpAuth.Error)
validateAuth = |creds| HttpAuth.validate(creds)
~~~
# EXPECTED
MODULE NOT FOUND - can_import_nested_modules.md:1:1:1:26
MODULE NOT FOUND - can_import_nested_modules.md:2:1:2:36
MODULE NOT FOUND - can_import_nested_modules.md:3:1:3:46
MODULE NOT IMPORTED - can_import_nested_modules.md:6:15:6:30
DOES NOT EXIST - can_import_nested_modules.md:7:26:7:41
UNDEFINED VARIABLE - can_import_nested_modules.md:11:29:11:43
@ -41,6 +44,39 @@ UNDEFINED VARIABLE - can_import_nested_modules.md:20:23:20:30
DOES NOT EXIST - can_import_nested_modules.md:20:37:20:58
UNDEFINED VARIABLE - can_import_nested_modules.md:24:24:24:41
# PROBLEMS
**MODULE NOT FOUND**
The module `json.Parser` was not found in this Roc project.
You're attempting to use this module here:
**can_import_nested_modules.md:1:1:1:26:**
```roc
import json.Parser.Config
```
^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `http.Client.Auth` was not found in this Roc project.
You're attempting to use this module here:
**can_import_nested_modules.md:2:1:2:36:**
```roc
import http.Client.Auth as HttpAuth
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `utils.String.Format` was not found in this Roc project.
You're attempting to use this module here:
**can_import_nested_modules.md:3:1:3:46:**
```roc
import utils.String.Format exposing [padLeft]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT IMPORTED**
There is no module with the name `Config` imported into this Roc file.

36
test/snapshots/can_import_type_annotations.md
View file

@ -44,7 +44,10 @@ combineTrys = |result1, result2|
}
~~~
# EXPECTED
MODULE NOT FOUND - can_import_type_annotations.md:1:1:1:56
MODULE NOT FOUND - can_import_type_annotations.md:2:1:2:17
DUPLICATE DEFINITION - can_import_type_annotations.md:3:1:3:32
MODULE NOT FOUND - can_import_type_annotations.md:3:1:3:32
UNDECLARED TYPE - can_import_type_annotations.md:5:18:5:25
UNDECLARED TYPE - can_import_type_annotations.md:5:29:5:37
UNDEFINED VARIABLE - can_import_type_annotations.md:6:24:6:44
@ -57,6 +60,28 @@ MODULE NOT IMPORTED - can_import_type_annotations.md:24:18:24:36
MODULE NOT IMPORTED - can_import_type_annotations.md:24:61:24:78
UNDEFINED VARIABLE - can_import_type_annotations.md:25:40:25:61
# PROBLEMS
**MODULE NOT FOUND**
The module `http.Client` was not found in this Roc project.
You're attempting to use this module here:
**can_import_type_annotations.md:1:1:1:56:**
```roc
import http.Client as Http exposing [Request, Response]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**can_import_type_annotations.md:2:1:2:17:**
```roc
import json.Json
```
^^^^^^^^^^^^^^^^
**DUPLICATE DEFINITION**
The name `Try` is being redeclared in this scope.
@ -75,6 +100,17 @@ import http.Client as Http exposing [Request, Response]
^
**MODULE NOT FOUND**
The module `utils.Try` was not found in this Roc project.
You're attempting to use this module here:
**can_import_type_annotations.md:3:1:3:32:**
```roc
import utils.Try exposing [Try]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDECLARED TYPE**
The type _Request_ is not declared in this scope.

24
test/snapshots/can_import_unresolved_qualified.md
View file

@ -32,6 +32,8 @@ client = Http.invalidMethod
parser = Json.Parser.Advanced.NonExistent.create
~~~
# EXPECTED
MODULE NOT FOUND - can_import_unresolved_qualified.md:1:1:1:17
MODULE NOT FOUND - can_import_unresolved_qualified.md:2:1:2:27
UNDEFINED VARIABLE - can_import_unresolved_qualified.md:5:8:5:31
UNDEFINED VARIABLE - can_import_unresolved_qualified.md:9:20:9:34
MODULE NOT IMPORTED - can_import_unresolved_qualified.md:12:18:12:37
@ -43,6 +45,28 @@ DOES NOT EXIST - can_import_unresolved_qualified.md:19:10:19:31
UNDEFINED VARIABLE - can_import_unresolved_qualified.md:22:10:22:28
UNDEFINED VARIABLE - can_import_unresolved_qualified.md:25:10:25:49
# PROBLEMS
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**can_import_unresolved_qualified.md:1:1:1:17:**
```roc
import json.Json
```
^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `http.Client` was not found in this Roc project.
You're attempting to use this module here:
**can_import_unresolved_qualified.md:2:1:2:27:**
```roc
import http.Client as Http
```
^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `method` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/can_import_with_alias.md
View file

@ -10,8 +10,20 @@ import json.Json as MyJson
main = MyJson.decode
~~~
# EXPECTED
MODULE NOT FOUND - can_import_with_alias.md:1:1:1:27
UNDEFINED VARIABLE - can_import_with_alias.md:3:8:3:21
# PROBLEMS
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**can_import_with_alias.md:1:1:1:27:**
```roc
import json.Json as MyJson
```
^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `decode` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/effectful_with_effectful_annotation.md
View file

@ -16,8 +16,20 @@ print_msg! = |msg| Stdout.line!(msg)
main! = print_msg!("Hello, world!")
~~~
# EXPECTED
MODULE NOT FOUND - effectful_with_effectful_annotation.md:3:1:3:17
UNDEFINED VARIABLE - effectful_with_effectful_annotation.md:7:20:7:32
# PROBLEMS
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**effectful_with_effectful_annotation.md:3:1:3:17:**
```roc
import pf.Stdout
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `line!` in this scope.
Is there an `import` or `exposing` missing up-top?

14
test/snapshots/exposed_items_test.md
View file

@ -10,9 +10,19 @@ import pf.Stdout exposing [line!, write!]
main = 42
~~~
# EXPECTED
NIL
MODULE NOT FOUND - exposed_items_test.md:1:1:1:42
# PROBLEMS
NIL
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**exposed_items_test.md:1:1:1:42:**
```roc
import pf.Stdout exposing [line!, write!]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# TOKENS
~~~zig
KwImport,LowerIdent,NoSpaceDotUpperIdent,KwExposing,OpenSquare,LowerIdent,Comma,LowerIdent,CloseSquare,

24
test/snapshots/external_decl_lookup.md
View file

@ -17,9 +17,33 @@ main! = |_| {
}
~~~
# EXPECTED
MODULE NOT FOUND - external_decl_lookup.md:3:1:3:17
MODULE NOT FOUND - external_decl_lookup.md:4:1:4:17
UNDEFINED VARIABLE - external_decl_lookup.md:8:14:8:23
UNDEFINED VARIABLE - external_decl_lookup.md:9:5:9:17
# PROBLEMS
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**external_decl_lookup.md:3:1:3:17:**
```roc
import pf.Stdout
```
^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**external_decl_lookup.md:4:1:4:17:**
```roc
import json.Json
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `utf8` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/file/inline_ingested_file.md
View file

@ -15,6 +15,7 @@ PARSE ERROR - inline_ingested_file.md:1:8:1:9
PARSE ERROR - inline_ingested_file.md:1:9:1:19
PARSE ERROR - inline_ingested_file.md:1:19:1:20
PARSE ERROR - inline_ingested_file.md:1:21:1:23
MODULE NOT FOUND - inline_ingested_file.md:2:1:2:12
UNDEFINED VARIABLE - inline_ingested_file.md:4:7:4:17
# PROBLEMS
**PARSE ERROR**
@ -61,6 +62,17 @@ import "users.json" as data : Str
^^
**MODULE NOT FOUND**
The module `Json` was not found in this Roc project.
You're attempting to use this module here:
**inline_ingested_file.md:2:1:2:12:**
```roc
import Json
```
^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `parse` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/file/underscore_type_decl.md
View file

@ -34,6 +34,7 @@ PARSE ERROR - underscore_type_decl.md:5:13:5:14
PARSE ERROR - underscore_type_decl.md:5:20:5:21
PARSE ERROR - underscore_type_decl.md:5:23:5:24
PARSE ERROR - underscore_type_decl.md:6:1:6:1
MODULE NOT FOUND - underscore_type_decl.md:1:1:1:30
# PROBLEMS
**PARSE ERROR**
Type applications require parentheses around their type arguments.
@ -325,6 +326,17 @@ Other valid examples:
^
**MODULE NOT FOUND**
The module `Module` was not found in this Roc project.
You're attempting to use this module here:
**underscore_type_decl.md:1:1:1:30:**
```roc
import Module exposing [Pair]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# TOKENS
~~~zig
KwImport,UpperIdent,KwExposing,OpenSquare,UpperIdent,CloseSquare,

28
test/snapshots/formatting/multiline/everything.md
View file

@ -123,6 +123,8 @@ h = |x, y| {
# EXPECTED
WHERE CLAUSE NOT ALLOWED IN TYPE DECLARATION - everything.md:12:1:22:3
WHERE CLAUSE NOT ALLOWED IN TYPE DECLARATION - everything.md:23:1:33:3
MODULE NOT FOUND - everything.md:2:1:5:2
MODULE NOT FOUND - everything.md:6:1:9:2
EXPECTED NOMINAL TYPE - everything.md:77:7:80:3
UNUSED VARIABLE - everything.md:94:5:94:6
UNUSED VARIABLE - everything.md:99:4:99:5
@ -174,6 +176,32 @@ B(b) : b
```
**MODULE NOT FOUND**
The module `I1` was not found in this Roc project.
You're attempting to use this module here:
**everything.md:2:1:5:2:**
```roc
import I1 exposing [
I11,
I12,
]
```
**MODULE NOT FOUND**
The module `I2` was not found in this Roc project.
You're attempting to use this module here:
**everything.md:6:1:9:2:**
```roc
import I2 exposing [
I21 as Ias1,
I22 as Ias2,
]
```
**EXPECTED NOMINAL TYPE**
You are using the type _A_ like a nominal type, but it is an alias.

28
test/snapshots/formatting/multiline_without_comma/everything.md
View file

@ -200,6 +200,8 @@ PARSE ERROR - everything.md:56:40:56:42
MALFORMED WHERE CLAUSE - everything.md:56:12:56:17
WHERE CLAUSE NOT ALLOWED IN TYPE DECLARATION - everything.md:12:1:13:7
UNDECLARED TYPE - everything.md:43:5:43:6
MODULE NOT FOUND - everything.md:2:1:5:2
MODULE NOT FOUND - everything.md:6:1:9:2
EXPECTED NOMINAL TYPE - everything.md:71:7:74:3
UNUSED VARIABLE - everything.md:88:5:88:6
UNUSED VARIABLE - everything.md:93:4:93:5
@ -1206,6 +1208,32 @@ This type is referenced here:
^
**MODULE NOT FOUND**
The module `I1` was not found in this Roc project.
You're attempting to use this module here:
**everything.md:2:1:5:2:**
```roc
import I1 exposing [
I11,
I12
]
```
**MODULE NOT FOUND**
The module `I2` was not found in this Roc project.
You're attempting to use this module here:
**everything.md:6:1:9:2:**
```roc
import I2 exposing [
I21 as Ias1,
I22 as Ias2
]
```
**EXPECTED NOMINAL TYPE**
You are using the type _A_ like a nominal type, but it is an alias.

24
test/snapshots/formatting/singleline/everything.md
View file

@ -38,6 +38,8 @@ h = |x, y| {
# EXPECTED
WHERE CLAUSE NOT ALLOWED IN TYPE DECLARATION - everything.md:6:1:6:60
WHERE CLAUSE NOT ALLOWED IN TYPE DECLARATION - everything.md:7:1:7:60
MODULE NOT FOUND - everything.md:2:1:2:30
MODULE NOT FOUND - everything.md:3:1:3:46
EXPECTED NOMINAL TYPE - everything.md:19:7:19:14
UNUSED VARIABLE - everything.md:24:10:24:11
UNUSED VARIABLE - everything.md:25:9:25:10
@ -71,6 +73,28 @@ B(b) : b where [b.b1 : (b, b) -> Str, b.b2 : (b, b) -> Str]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `I1` was not found in this Roc project.
You're attempting to use this module here:
**everything.md:2:1:2:30:**
```roc
import I1 exposing [I11, I12]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `I2` was not found in this Roc project.
You're attempting to use this module here:
**everything.md:3:1:3:46:**
```roc
import I2 exposing [I21 as Ias1, I22 as Ias2]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**EXPECTED NOMINAL TYPE**
You are using the type _A_ like a nominal type, but it is an alias.

24
test/snapshots/formatting/singleline_with_comma/everything.md
View file

@ -38,6 +38,8 @@ h = |x, y,| {
# EXPECTED
WHERE CLAUSE NOT ALLOWED IN TYPE DECLARATION - everything.md:6:1:6:63
WHERE CLAUSE NOT ALLOWED IN TYPE DECLARATION - everything.md:7:1:7:63
MODULE NOT FOUND - everything.md:2:1:2:31
MODULE NOT FOUND - everything.md:3:1:3:47
EXPECTED NOMINAL TYPE - everything.md:19:7:19:15
UNUSED VARIABLE - everything.md:24:10:24:11
UNUSED VARIABLE - everything.md:25:9:25:10
@ -71,6 +73,28 @@ B(b) : b where [b.b1 : (b, b,) -> Str, b.b2 : (b, b,) -> Str,]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `I1` was not found in this Roc project.
You're attempting to use this module here:
**everything.md:2:1:2:31:**
```roc
import I1 exposing [I11, I12,]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `I2` was not found in this Roc project.
You're attempting to use this module here:
**everything.md:3:1:3:47:**
```roc
import I2 exposing [I21 as Ias1, I22 as Ias2,]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**EXPECTED NOMINAL TYPE**
You are using the type _A_ like a nominal type, but it is an alias.

12
test/snapshots/function_no_annotation.md
View file

@ -21,8 +21,20 @@ process! = |x| print_number!(multiply(x, 2))
main! = process!(42)
~~~
# EXPECTED
MODULE NOT FOUND - function_no_annotation.md:3:1:3:17
UNDEFINED VARIABLE - function_no_annotation.md:9:21:9:33
# PROBLEMS
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**function_no_annotation.md:3:1:3:17:**
```roc
import pf.Stdout
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `line!` in this scope.
Is there an `import` or `exposing` missing up-top?

49
test/snapshots/fuzz_crash/fuzz_crash_019.md
View file

@ -141,6 +141,10 @@ UNDECLARED TYPE VARIABLE - fuzz_crash_019.md:19:4:19:6
UNDECLARED TYPE VARIABLE - fuzz_crash_019.md:20:12:20:13
UNDECLARED TYPE - fuzz_crash_019.md:24:15:24:16
UNDECLARED TYPE VARIABLE - fuzz_crash_019.md:24:24:24:25
MODULE NOT FOUND - fuzz_crash_019.md:4:1:4:34
MODULE NOT FOUND - fuzz_crash_019.md:6:1:8:6
MODULE NOT FOUND - fuzz_crash_019.md:10:1:10:19
MODULE NOT FOUND - fuzz_crash_019.md:11:1:12:4
UNDECLARED TYPE - fuzz_crash_019.md:37:7:37:9
UNDEFINED VARIABLE - fuzz_crash_019.md:42:4:42:5
UNDEFINED VARIABLE - fuzz_crash_019.md:42:6:42:10
@ -346,6 +350,51 @@ Som : { foo : O, bar : g }
^
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_019.md:4:1:4:34:**
```roc
import pf.Stdout exposing [line!]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `Stdot` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_019.md:6:1:8:6:**
```roc
import Stdot
exposing [ #tem
Cust]
```
**MODULE NOT FOUND**
The module `Bae` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_019.md:10:1:10:19:**
```roc
import Bae as Gooe
```
^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `Ba` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_019.md:11:1:12:4:**
```roc
import
Ba
```
**UNDECLARED TYPE**
The type _U6_ is not declared in this scope.

49
test/snapshots/fuzz_crash/fuzz_crash_020.md
View file

@ -141,6 +141,10 @@ UNDECLARED TYPE VARIABLE - fuzz_crash_020.md:19:4:19:6
UNDECLARED TYPE VARIABLE - fuzz_crash_020.md:20:12:20:13
UNDECLARED TYPE - fuzz_crash_020.md:24:15:24:16
UNDECLARED TYPE VARIABLE - fuzz_crash_020.md:24:24:24:25
MODULE NOT FOUND - fuzz_crash_020.md:4:1:4:34
MODULE NOT FOUND - fuzz_crash_020.md:6:1:8:6
MODULE NOT FOUND - fuzz_crash_020.md:10:1:10:19
MODULE NOT FOUND - fuzz_crash_020.md:11:1:12:4
UNDECLARED TYPE - fuzz_crash_020.md:37:7:37:9
UNDEFINED VARIABLE - fuzz_crash_020.md:40:5:40:8
UNDEFINED VARIABLE - fuzz_crash_020.md:42:4:42:5
@ -345,6 +349,51 @@ Som : { foo : O, bar : g }
^
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_020.md:4:1:4:34:**
```roc
import pf.Stdout exposing [line!]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `Stdot` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_020.md:6:1:8:6:**
```roc
import Stdot
exposing [ #tem
Cust]
```
**MODULE NOT FOUND**
The module `Bae` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_020.md:10:1:10:19:**
```roc
import Bae as Gooe
```
^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `Ba` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_020.md:11:1:12:4:**
```roc
import
Ba
```
**UNDECLARED TYPE**
The type _U6_ is not declared in this scope.

67
test/snapshots/fuzz_crash/fuzz_crash_023.md
View file

@ -229,7 +229,12 @@ UNDECLARED TYPE - fuzz_crash_023.md:45:8:45:10
UNDECLARED TYPE - fuzz_crash_023.md:46:8:46:17
UNDECLARED TYPE - fuzz_crash_023.md:52:4:52:6
UNDECLARED TYPE - fuzz_crash_023.md:53:8:53:17
MODULE NOT FOUND - fuzz_crash_023.md:4:1:4:42
NOT IMPLEMENTED - :0:0:0:0
MODULE NOT FOUND - fuzz_crash_023.md:6:1:12:4
MODULE NOT FOUND - fuzz_crash_023.md:14:1:14:82
MODULE NOT FOUND - fuzz_crash_023.md:16:1:16:27
MODULE NOT FOUND - fuzz_crash_023.md:17:1:20:20
UNDEFINED VARIABLE - fuzz_crash_023.md:72:4:72:13
UNUSED VARIABLE - fuzz_crash_023.md:97:3:97:8
UNUSED VARIABLE - fuzz_crash_023.md:1:1:1:1
@ -442,11 +447,73 @@ This type is referenced here:
^^^^^^^^^
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_023.md:4:1:4:42:**
```roc
import pf.Stdout exposing [line!, write!]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**NOT IMPLEMENTED**
This feature is not yet implemented: malformed import module name contains invalid control characters
This error doesn't have a proper diagnostic report yet. Let us know if you want to help improve Roc's error messages!
**MODULE NOT FOUND**
The module `MALFORMED_IMPORT` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_023.md:6:1:12:4:**
```roc
import # Comment after import keyword
pf # Comment after qualifier
.StdoutMultiline # Comment after ident
exposing [ # Comment after exposing open
line!, # Comment after exposed item
write!, # Another after exposed item
] # Comment after exposing close
```
**MODULE NOT FOUND**
The module `pkg.Something` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_023.md:14:1:14:82:**
```roc
import pkg.Something exposing [func as function, Type as ValueCategory, Custom.*]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `BadName` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_023.md:16:1:16:27:**
```roc
import BadName as GoodName
```
^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `BadNameMultiline` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_023.md:17:1:20:20:**
```roc
import
BadNameMultiline
as
GoodNameMultiline
```
**UNDEFINED VARIABLE**
Nothing is named `some_func` in this scope.
Is there an `import` or `exposing` missing up-top?

61
test/snapshots/fuzz_crash/fuzz_crash_027.md
View file

@ -182,6 +182,11 @@ UNDECLARED TYPE - fuzz_crash_027.md:34:8:34:11
UNDECLARED TYPE - fuzz_crash_027.md:38:8:38:11
UNDECLARED TYPE - fuzz_crash_027.md:43:11:43:16
UNDECLARED TYPE - fuzz_crash_027.md:43:26:43:31
MODULE NOT FOUND - fuzz_crash_027.md:4:1:4:38
MODULE NOT FOUND - fuzz_crash_027.md:6:1:8:4
MODULE NOT FOUND - fuzz_crash_027.md:10:1:10:46
MODULE NOT FOUND - fuzz_crash_027.md:12:1:12:19
MODULE NOT FOUND - fuzz_crash_027.md:13:1:14:4
UNDECLARED TYPE - fuzz_crash_027.md:29:2:29:5
UNDECLARED TYPE - fuzz_crash_027.md:30:2:30:5
EMPTY TUPLE NOT ALLOWED - fuzz_crash_027.md:52:1:52:3
@ -410,6 +415,62 @@ Func(a) : Maybe(a), a -> Maybe(a)
^^^^^
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_027.md:4:1:4:38:**
```roc
import pf.Stdout exposing [line!, e!]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `Stdot` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_027.md:6:1:8:4:**
```roc
import Stdot
exposing [ #tem
] # Cose
```
**MODULE NOT FOUND**
The module `pkg.S` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_027.md:10:1:10:46:**
```roc
import pkg.S exposing [func as fry, Custom.*]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `Bae` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_027.md:12:1:12:19:**
```roc
import Bae as Gooe
```
^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `Ba` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_027.md:13:1:14:4:**
```roc
import
Ba
```
**UNDECLARED TYPE**
The type _Bar_ is not declared in this scope.

BIN
test/snapshots/fuzz_crash/fuzz_crash_028.md
View file

Binary file not shown.

12
test/snapshots/fuzz_crash/fuzz_crash_042.md
View file

@ -10,6 +10,7 @@ import u.R}g:r->R.a.E
# EXPECTED
PARSE ERROR - fuzz_crash_042.md:1:11:1:12
MODULE NOT IMPORTED - fuzz_crash_042.md:1:17:1:22
MODULE NOT FOUND - fuzz_crash_042.md:1:1:1:11
# PROBLEMS
**PARSE ERROR**
A parsing error occurred: `statement_unexpected_token`
@ -33,6 +34,17 @@ import u.R}g:r->R.a.E
^^^^^
**MODULE NOT FOUND**
The module `u.R` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_042.md:1:1:1:11:**
```roc
import u.R}g:r->R.a.E
```
^^^^^^^^^^
# TOKENS
~~~zig
KwImport,LowerIdent,NoSpaceDotUpperIdent,CloseCurly,LowerIdent,OpColon,LowerIdent,OpArrow,UpperIdent,NoSpaceDotLowerIdent,NoSpaceDotUpperIdent,

BIN
test/snapshots/fuzz_crash/fuzz_crash_049.md
View file

Binary file not shown.

14
test/snapshots/fuzz_crash/fuzz_crash_054.md
View file

@ -9,9 +9,19 @@ app[]{f:platform""}import S exposing[c as
f]
~~~
# EXPECTED
NIL
MODULE NOT FOUND - fuzz_crash_054.md:1:20:2:3
# PROBLEMS
NIL
**MODULE NOT FOUND**
The module `S` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_054.md:1:20:2:3:**
```roc
app[]{f:platform""}import S exposing[c as
f]
```
# TOKENS
~~~zig
KwApp,OpenSquare,CloseSquare,OpenCurly,LowerIdent,OpColon,KwPlatform,StringStart,StringPart,StringEnd,CloseCurly,KwImport,UpperIdent,KwExposing,OpenSquare,LowerIdent,KwAs,

12
test/snapshots/fuzz_crash/fuzz_crash_059.md
View file

@ -17,6 +17,7 @@ PARSE ERROR - fuzz_crash_059.md:2:9:2:13
PARSE ERROR - fuzz_crash_059.md:2:13:2:14
PARSE ERROR - fuzz_crash_059.md:2:14:2:15
PARSE ERROR - fuzz_crash_059.md:2:15:2:16
MODULE NOT FOUND - fuzz_crash_059.md:1:20:2:2
# PROBLEMS
**PARSE ERROR**
A parsing error occurred: `statement_unexpected_token`
@ -106,6 +107,17 @@ G if 0{}else||0
^
**MODULE NOT FOUND**
The module `B` was not found in this Roc project.
You're attempting to use this module here:
**fuzz_crash_059.md:1:20:2:2:**
```roc
app[]{f:platform""}import B as
G if 0{}else||0
```
# TOKENS
~~~zig
KwApp,OpenSquare,CloseSquare,OpenCurly,LowerIdent,OpColon,KwPlatform,StringStart,StringPart,StringEnd,CloseCurly,KwImport,UpperIdent,KwAs,

12
test/snapshots/hello_world.md
View file

@ -12,8 +12,20 @@ import pf.Stdout
main! = |_| Stdout.line!("Hello, world!")
~~~
# EXPECTED
MODULE NOT FOUND - hello_world.md:3:1:3:17
UNDEFINED VARIABLE - hello_world.md:5:13:5:25
# PROBLEMS
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**hello_world.md:3:1:3:17:**
```roc
import pf.Stdout
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `line!` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/hello_world_with_block.md
View file

@ -19,9 +19,21 @@ main! = |_| {
}
~~~
# EXPECTED
MODULE NOT FOUND - hello_world_with_block.md:6:1:6:17
UNDEFINED VARIABLE - hello_world_with_block.md:11:2:11:14
UNUSED VARIABLE - hello_world_with_block.md:9:2:9:7
# PROBLEMS
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**hello_world_with_block.md:6:1:6:17:**
```roc
import pf.Stdout
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `line!` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/import_exposing_alias.md
View file

@ -15,9 +15,21 @@ main = {
}
~~~
# EXPECTED
MODULE NOT FOUND - import_exposing_alias.md:1:1:1:65
UNDEFINED VARIABLE - import_exposing_alias.md:5:12:5:18
UNDEFINED VARIABLE - import_exposing_alias.md:6:12:6:20
# PROBLEMS
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**import_exposing_alias.md:1:1:1:65:**
```roc
import json.Json exposing [decode as fromJson, encode as toJson]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `toJson` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/import_exposing_basic.md
View file

@ -15,9 +15,21 @@ main = {
}
~~~
# EXPECTED
MODULE NOT FOUND - import_exposing_basic.md:1:1:1:43
UNDEFINED VARIABLE - import_exposing_basic.md:5:15:5:21
UNDEFINED VARIABLE - import_exposing_basic.md:6:15:6:21
# PROBLEMS
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**import_exposing_basic.md:1:1:1:43:**
```roc
import json.Json exposing [decode, encode]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `encode` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/multi_qualified_import.md
View file

@ -27,6 +27,7 @@ PARSE ERROR - multi_qualified_import.md:12:30:12:31
PARSE ERROR - multi_qualified_import.md:12:31:12:36
PARSE ERROR - multi_qualified_import.md:12:36:12:37
PARSE ERROR - multi_qualified_import.md:12:37:12:38
MODULE NOT FOUND - multi_qualified_import.md:1:1:1:41
UNDECLARED TYPE - multi_qualified_import.md:3:16:3:23
DOES NOT EXIST - multi_qualified_import.md:4:16:4:45
MODULE NOT IMPORTED - multi_qualified_import.md:7:11:7:33
@ -122,6 +123,17 @@ data = json.Core.Utf8.encode("hello")
^
**MODULE NOT FOUND**
The module `json.Core.Utf8` was not found in this Roc project.
You're attempting to use this module here:
**multi_qualified_import.md:1:1:1:41:**
```roc
import json.Core.Utf8 exposing [Encoder]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDECLARED TYPE**
The type _Encoder_ is not declared in this scope.

12
test/snapshots/nominal/nominal_external_fully_qualified.md
View file

@ -16,8 +16,20 @@ handleTry = |result| {
}
~~~
# EXPECTED
MODULE NOT FOUND - nominal_external_fully_qualified.md:1:1:1:19
UNUSED VARIABLE - nominal_external_fully_qualified.md:7:35:7:39
# PROBLEMS
**MODULE NOT FOUND**
The module `MyTryModule` was not found in this Roc project.
You're attempting to use this module here:
**nominal_external_fully_qualified.md:1:1:1:19:**
```roc
import MyTryModule
```
^^^^^^^^^^^^^^^^^^
**UNUSED VARIABLE**
Variable `code` is not used anywhere in your code.

12
test/snapshots/nominal/nominal_import_long_package.md
View file

@ -11,8 +11,20 @@ red : CE
red = ... # not implemented
~~~
# EXPECTED
MODULE NOT FOUND - nominal_import_long_package.md:1:1:1:52
UNDECLARED TYPE - nominal_import_long_package.md:3:7:3:9
# PROBLEMS
**MODULE NOT FOUND**
The module `design.Styles.Color` was not found in this Roc project.
You're attempting to use this module here:
**nominal_import_long_package.md:1:1:1:52:**
```roc
import design.Styles.Color exposing [Encoder as CE]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDECLARED TYPE**
The type _CE_ is not declared in this scope.

14
test/snapshots/nominal/nominal_import_type.md
View file

@ -11,9 +11,19 @@ red : Color.RGB
red = Color.RGB.Red
~~~
# EXPECTED
NIL
MODULE NOT FOUND - nominal_import_type.md:1:1:1:13
# PROBLEMS
NIL
**MODULE NOT FOUND**
The module `Color` was not found in this Roc project.
You're attempting to use this module here:
**nominal_import_type.md:1:1:1:13:**
```roc
import Color
```
^^^^^^^^^^^^
# TOKENS
~~~zig
KwImport,UpperIdent,

12
test/snapshots/nominal/nominal_import_wildcard.md
View file

@ -18,6 +18,7 @@ green = Green
~~~
# EXPECTED
PARSE ERROR - nominal_import_wildcard.md:1:13:1:15
MODULE NOT FOUND - nominal_import_wildcard.md:1:1:1:13
UNDECLARED TYPE - nominal_import_wildcard.md:3:7:3:12
UNDECLARED TYPE - nominal_import_wildcard.md:6:8:6:13
UNDECLARED TYPE - nominal_import_wildcard.md:9:9:9:14
@ -33,6 +34,17 @@ import Color.*
^^
**MODULE NOT FOUND**
The module `Color` was not found in this Roc project.
You're attempting to use this module here:
**nominal_import_wildcard.md:1:1:1:13:**
```roc
import Color.*
```
^^^^^^^^^^^^
**UNDECLARED TYPE**
The type _Color_ is not declared in this scope.

14
test/snapshots/nominal/nominal_tag_package_import.md
View file

@ -13,9 +13,19 @@ blue : CC.Color
blue = CC.Color.RGB(0,0,255)
~~~
# EXPECTED
NIL
MODULE NOT FOUND - nominal_tag_package_import.md:2:1:2:26
# PROBLEMS
NIL
**MODULE NOT FOUND**
The module `styles.Color` was not found in this Roc project.
You're attempting to use this module here:
**nominal_tag_package_import.md:2:1:2:26:**
```roc
import styles.Color as CC
```
^^^^^^^^^^^^^^^^^^^^^^^^^
# TOKENS
~~~zig
KwImport,LowerIdent,NoSpaceDotUpperIdent,KwAs,UpperIdent,

12
test/snapshots/nominal_type_origin_mismatch.md
View file

@ -15,9 +15,21 @@ main =
expectsPerson("not a person")
~~~
# EXPECTED
MODULE NOT FOUND - nominal_type_origin_mismatch.md:1:1:1:30
UNDECLARED TYPE - nominal_type_origin_mismatch.md:3:17:3:23
UNUSED VARIABLE - nominal_type_origin_mismatch.md:4:18:4:19
# PROBLEMS
**MODULE NOT FOUND**
The module `Data` was not found in this Roc project.
You're attempting to use this module here:
**nominal_type_origin_mismatch.md:1:1:1:30:**
```roc
import Data exposing [Person]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDECLARED TYPE**
The type _Person_ is not declared in this scope.

12
test/snapshots/primitive/stmt_import.md
View file

@ -12,6 +12,7 @@ PARSE ERROR - stmt_import.md:1:18:1:19
PARSE ERROR - stmt_import.md:1:19:1:22
PARSE ERROR - stmt_import.md:1:22:1:23
PARSE ERROR - stmt_import.md:1:27:1:28
MODULE NOT FOUND - stmt_import.md:1:1:1:17
# PROBLEMS
**PARSE ERROR**
A parsing error occurred: `statement_unexpected_token`
@ -69,6 +70,17 @@ import json.Json [foo, BAR]
^
**MODULE NOT FOUND**
The module `json.Json` was not found in this Roc project.
You're attempting to use this module here:
**stmt_import.md:1:1:1:17:**
```roc
import json.Json [foo, BAR]
```
^^^^^^^^^^^^^^^^
# TOKENS
~~~zig
KwImport,LowerIdent,NoSpaceDotUpperIdent,OpenSquare,LowerIdent,Comma,UpperIdent,CloseSquare,

12
test/snapshots/pure_annotation_effectful_body_error.md
View file

@ -16,8 +16,20 @@ bad_function = |msg| Stdout.line!(msg)
main! = bad_function("This should fail")
~~~
# EXPECTED
MODULE NOT FOUND - pure_annotation_effectful_body_error.md:3:1:3:17
UNDEFINED VARIABLE - pure_annotation_effectful_body_error.md:7:22:7:34
# PROBLEMS
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**pure_annotation_effectful_body_error.md:3:1:3:17:**
```roc
import pf.Stdout
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `line!` in this scope.
Is there an `import` or `exposing` missing up-top?

36
test/snapshots/qualified_type_canonicalization.md
View file

@ -53,6 +53,9 @@ transform = |result|
# EXPECTED
PARSE ERROR - qualified_type_canonicalization.md:8:1:8:7
PARSE ERROR - qualified_type_canonicalization.md:8:14:8:18
MODULE NOT FOUND - qualified_type_canonicalization.md:9:1:9:13
MODULE NOT FOUND - qualified_type_canonicalization.md:10:1:10:40
MODULE NOT FOUND - qualified_type_canonicalization.md:11:1:11:32
UNDECLARED TYPE - qualified_type_canonicalization.md:15:19:15:24
MODULE NOT IMPORTED - qualified_type_canonicalization.md:22:23:22:44
DOES NOT EXIST - qualified_type_canonicalization.md:23:23:23:32
@ -101,6 +104,39 @@ import Basics.Try
^^^^
**MODULE NOT FOUND**
The module `Color` was not found in this Roc project.
You're attempting to use this module here:
**qualified_type_canonicalization.md:9:1:9:13:**
```roc
import Color
```
^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `ModuleB` was not found in this Roc project.
You're attempting to use this module here:
**qualified_type_canonicalization.md:10:1:10:40:**
```roc
import ModuleA.ModuleB exposing [TypeC]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `ExternalModule` was not found in this Roc project.
You're attempting to use this module here:
**qualified_type_canonicalization.md:11:1:11:32:**
```roc
import ExternalModule as ExtMod
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**UNDECLARED TYPE**
The type _Color_ is not declared in this scope.

12
test/snapshots/simple_module_no_blanks.md
View file

@ -10,8 +10,20 @@ hello! = Stdout.line!("Hello")
world = "World"
~~~
# EXPECTED
MODULE NOT FOUND - simple_module_no_blanks.md:1:1:1:17
UNDEFINED VARIABLE - simple_module_no_blanks.md:2:10:2:22
# PROBLEMS
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**simple_module_no_blanks.md:1:1:1:17:**
```roc
import pf.Stdout
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `line!` in this scope.
Is there an `import` or `exposing` missing up-top?

67
test/snapshots/syntax_grab_bag.md
View file

@ -224,7 +224,12 @@ UNDECLARED TYPE - syntax_grab_bag.md:45:8:45:10
UNDECLARED TYPE - syntax_grab_bag.md:46:8:46:17
UNDECLARED TYPE - syntax_grab_bag.md:52:4:52:6
UNDECLARED TYPE - syntax_grab_bag.md:53:8:53:17
MODULE NOT FOUND - syntax_grab_bag.md:4:1:4:42
NOT IMPLEMENTED - :0:0:0:0
MODULE NOT FOUND - syntax_grab_bag.md:6:1:12:4
MODULE NOT FOUND - syntax_grab_bag.md:14:1:14:82
MODULE NOT FOUND - syntax_grab_bag.md:16:1:16:27
MODULE NOT FOUND - syntax_grab_bag.md:17:1:20:20
UNDEFINED VARIABLE - syntax_grab_bag.md:72:4:72:13
UNUSED VARIABLE - syntax_grab_bag.md:97:3:97:8
UNUSED VARIABLE - syntax_grab_bag.md:1:1:1:1
@ -377,11 +382,73 @@ This type is referenced here:
^^^^^^^^^
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**syntax_grab_bag.md:4:1:4:42:**
```roc
import pf.Stdout exposing [line!, write!]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**NOT IMPLEMENTED**
This feature is not yet implemented: malformed import module name contains invalid control characters
This error doesn't have a proper diagnostic report yet. Let us know if you want to help improve Roc's error messages!
**MODULE NOT FOUND**
The module `MALFORMED_IMPORT` was not found in this Roc project.
You're attempting to use this module here:
**syntax_grab_bag.md:6:1:12:4:**
```roc
import # Comment after import keyword
pf # Comment after qualifier
.StdoutMultiline # Comment after ident
exposing [ # Comment after exposing open
line!, # Comment after exposed item
write!, # Another after exposed item
] # Comment after exposing close
```
**MODULE NOT FOUND**
The module `pkg.Something` was not found in this Roc project.
You're attempting to use this module here:
**syntax_grab_bag.md:14:1:14:82:**
```roc
import pkg.Something exposing [func as function, Type as ValueCategory, Custom.*]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `BadName` was not found in this Roc project.
You're attempting to use this module here:
**syntax_grab_bag.md:16:1:16:27:**
```roc
import BadName as GoodName
```
^^^^^^^^^^^^^^^^^^^^^^^^^^
**MODULE NOT FOUND**
The module `BadNameMultiline` was not found in this Roc project.
You're attempting to use this module here:
**syntax_grab_bag.md:17:1:20:20:**
```roc
import
BadNameMultiline
as
GoodNameMultiline
```
**UNDEFINED VARIABLE**
Nothing is named `some_func` in this scope.
Is there an `import` or `exposing` missing up-top?

12
test/snapshots/type_record_effectful.md
View file

@ -17,8 +17,20 @@ printName = |person| {
main! = |_| {}
~~~
# EXPECTED
MODULE NOT FOUND - type_record_effectful.md:3:1:3:17
UNDEFINED VARIABLE - type_record_effectful.md:7:5:7:17
# PROBLEMS
**MODULE NOT FOUND**
The module `pf.Stdout` was not found in this Roc project.
You're attempting to use this module here:
**type_record_effectful.md:3:1:3:17:**
```roc
import pf.Stdout
```
^^^^^^^^^^^^^^^^
**UNDEFINED VARIABLE**
Nothing is named `line!` in this scope.
Is there an `import` or `exposing` missing up-top?

14
test/snapshots/where_clause/where_clauses_10.md
View file

@ -14,9 +14,19 @@ decode_things # After member name
[a.Decode]
~~~
# EXPECTED
NIL
MODULE NOT FOUND - where_clauses_10.md:1:1:1:32
# PROBLEMS
NIL
**MODULE NOT FOUND**
The module `Decode` was not found in this Roc project.
You're attempting to use this module here:
**where_clauses_10.md:1:1:1:32:**
```roc
import Decode exposing [Decode]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# TOKENS
~~~zig
KwImport,UpperIdent,KwExposing,OpenSquare,UpperIdent,CloseSquare,

14
test/snapshots/where_clause/where_clauses_4.md
View file

@ -12,9 +12,19 @@ decodeThings : List(List(U8)) -> List(a)
decodeThings = ...
~~~
# EXPECTED
NIL
MODULE NOT FOUND - where_clauses_4.md:1:1:1:32
# PROBLEMS
NIL
**MODULE NOT FOUND**
The module `Decode` was not found in this Roc project.
You're attempting to use this module here:
**where_clauses_4.md:1:1:1:32:**
```roc
import Decode exposing [Decode]
```
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# TOKENS
~~~zig
KwImport,UpperIdent,KwExposing,OpenSquare,UpperIdent,CloseSquare,