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 8

Use a fresh var where it turns out it's needed

Browse source
This commit is contained in:
Richard Feldman 2025-12-04 21:42:56 -05:00
parent a98a981b4e
commit 5262438d2e
No known key found for this signature in database
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/canonicalize/Can.zig
View file

@ -5171,7 +5171,7 @@ pub fn canonicalizeExpr(
.patterns = ok_branch_pat_span,
.value = ok_lookup_idx,
.guard = null,
.redundant = undefined, // currently unused, but reserved for future exhaustiveness checking
.redundant = try self.env.types.fresh(),
},
region,
);
@ -5245,7 +5245,7 @@ pub fn canonicalizeExpr(
.patterns = err_branch_pat_span,
.value = return_expr_idx,
.guard = null,
.redundant = undefined, // currently unused, but reserved for future exhaustiveness checking
.redundant = try self.env.types.fresh(),
},
region,
);
@ -5259,7 +5259,7 @@ pub fn canonicalizeExpr(
const match_expr = Expr.Match{
.cond = can_cond.idx,
.branches = branches_span,
.exhaustive = undefined, // currently unused, but reserved for future exhaustiveness checking
.exhaustive = try self.env.types.fresh(),
};
const expr_idx = try self.env.addExpr(CIR.Expr{ .e_match = match_expr }, region);
@ -5636,7 +5636,7 @@ pub fn canonicalizeExpr(
.patterns = branch_pat_span,
.value = value_idx,
.guard = null,
.redundant = undefined, // currently unused, but reserved for future exhaustiveness checking
.redundant = try self.env.types.fresh(),
},
region,
);
@ -5656,7 +5656,7 @@ pub fn canonicalizeExpr(
const match_expr = Expr.Match{
.cond = can_cond.idx,
.branches = branches_span,
.exhaustive = undefined, // currently unused, but reserved for future exhaustiveness checking
.exhaustive = try self.env.types.fresh(),
};
const expr_idx = try self.env.addExpr(CIR.Expr{ .e_match = match_expr }, region);