AbleOS/holey-bytes
3
3
Fork 5
Code Issues 2 Pull requests Packages Projects Releases Wiki Activity

fixing an infeence bug

Browse source
This commit is contained in:
Jakub Doka 2024-10-28 12:36:46 +01:00
parent f0a588fcff
commit 948710dc27
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
lang/src/son.rs
View file

@ -1211,7 +1211,7 @@ impl Nodes {
&& let Some(&n) = full_stores.next() && let Some(&n) = full_stores.next()
&& full_stores.next().is_none() => && full_stores.next().is_none() =>
{ {
if full_read_into.replace(n).is_some() { if full_read_into.replace((n, self[o].inputs[2])).is_some() {
continue 'o; continue 'o;
} }
} }
@ -1219,7 +1219,7 @@ impl Nodes {
} }
} }
let Some(dst) = full_read_into else { continue }; let Some((dst, o)) = full_read_into else { continue };
let mut saved = Vc::default(); let mut saved = Vc::default();
let mut cursor = dst; let mut cursor = dst;
@ -2797,6 +2797,7 @@ impl<'a> Codegen<'a> {
Some(self.ci.nodes.new_node_lit(ty::Id::TYPE, Kind::CInt { value }, [VOID])) Some(self.ci.nodes.new_node_lit(ty::Id::TYPE, Kind::CInt { value }, [VOID]))
} }
Expr::Ctor { pos, ty, fields, .. } => { Expr::Ctor { pos, ty, fields, .. } => {
ctx.ty = ty.map(|ty| self.ty(ty)).or(ctx.ty);
inference!(sty, ctx, self, pos, "struct", "<struct_ty>.{...}"); inference!(sty, ctx, self, pos, "struct", "<struct_ty>.{...}");
let ty::Kind::Struct(s) = sty.expand() else { let ty::Kind::Struct(s) = sty.expand() else {