Merge pull request #7673 from gamebox/parse-next-steps

[zig] Parser: Add support for basic import exposes

PASSING all zig-workflow runs

Should not be running old-workflows

Author: lukewilliamboswell

src/README.md

@@ -4,7 +4,7 @@ This table provides a summary of progress for the zig compiler re-write and shou
 
 |                          | Str & Num * | Functions  | Modules | Collections | Records &  Tuples | Recursive  Types | Static  Dispatch |
 |--------------------------|:-----------:|:----------:|:-------:|:-----------:|:-----------------:|:----------------:|:----------------:|
-| **Parse**                | 🚧          | 🚧         |         |             |                   |                  |                  |
+| **Parse**                | 🪫          | 🪫         | 🚧      | 🪫          |  🪫               |  🪫              |  🪫              |
 | **Canonicalize**         | 🚧          | 🚧         |         |             |                   |                  |                  |
 | **Resolve Imports**      |             |            |         |             |                   |                  |                  |
 | **Check Types**          |             |            |         |             |                   |                  |                  |

src/check/parse.zig

@@ -100,6 +100,10 @@ fn testSExprHelper(source: []const u8, expected: []const u8) !void {
     // parse our source
     var parse_ast = parse(&env, source);
     defer parse_ast.deinit();
+    std.testing.expectEqualSlices(IR.Diagnostic, &[_]IR.Diagnostic{}, parse_ast.errors) catch {
+        std.debug.print("Tokens:\n{any}", .{parse_ast.tokens.tokens.items(.tag)});
+        std.debug.panic("Test failed with parse errors", .{});
+    };
 
     // shouldn't be required in future
     parse_ast.store.emptyScratch();
@@ -126,7 +130,9 @@ test "example s-expr" {
 
     const expected =
         \\(file
-        \\    (header 'foo' 'bar')
+        \\    (header
+        \\        (exposed_item (lower_ident 'foo'))
+        \\        (exposed_item (lower_ident 'bar')))
         \\    (decl
         \\        (ident 'foo')
         \\        (string 'hey'))