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

Ensure tag-union match coverage

Browse source
This commit is contained in:
Richard Feldman 2025-09-25 07:31:37 -04:00
parent 2337faf68b
commit 0e229ddd86
No known key found for this signature in database
1 changed files with 26 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

26
src/eval/test/interpreter2_style_test.zig
View file

@ -296,6 +296,32 @@ test "interpreter2: match bool patterns" {
try std.testing.expectEqualStrings("1", rendered);
}
test "interpreter2: match result tag payload" {
const roc_src = "match Ok(3) { Ok(n) => n + 1, Err(_) => 0 }";
const resources = try helpers.parseAndCanonicalizeExpr(std.testing.allocator, roc_src);
defer helpers.cleanupParseAndCanonical(std.testing.allocator, resources);
var interp2 = try Interpreter2.init(std.testing.allocator, resources.module_env);
defer interp2.deinit();
var host = TestHost{ .allocator = std.testing.allocator };
var ops = RocOps{
.env = @ptrCast(&host),
.roc_alloc = testRocAlloc,
.roc_dealloc = testRocDealloc,
.roc_realloc = testRocRealloc,
.roc_dbg = testRocDbg,
.roc_expect_failed = testRocExpectFailed,
.roc_crashed = testRocCrashed,
.host_fns = undefined,
};
const result = try interp2.evalMinimal(resources.expr_idx, &ops);
const rendered = try interp2.renderValueRoc(result);
defer std.testing.allocator.free(rendered);
try std.testing.expectEqualStrings("4", rendered);
}
test "interpreter2: match record destructures fields" {
const roc_src = "match { x: 1, y: 2 } { { x, y } => x + y, _ => 0 }";
const resources = try helpers.parseAndCanonicalizeExpr(std.testing.allocator, roc_src);