teascade/reid-llvm
1
0
Fork 0
Code Issues Pull Requests Packages Releases 3 Wiki Activity

Help typechecker a little bit

Browse Source
This commit is contained in:
Sofia 2025-07-28 12:18:42 +03:00
parent a4e18af983
commit 97948d8c38
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
examples/or_bitwise.reid
View File

@ -2,9 +2,9 @@
fn main() -> bool { fn main() -> bool {
let bwand = (0xff & 0xf0) >> 4; let bwand = (0xffu32 & 0xf0) >> 4;
let bwor = (0x0f | 0x00) << 4; let bwor = (0x0fu32 | 0x00) << 4;
let bwxor = (0xf0 | 0x0f); let bwxor = (0xf0u32 | 0x0f);
return (bwxor == 255) && ((bwand == 15) || false) && (bwor == 240); return (bwxor == 255) && ((bwand == 15) || false) && (bwor == 240);
} }

1
reid/src/mir/typecheck/typecheck.rs
View File

@ -431,6 +431,7 @@ impl Expression {
params: (lhs_type.clone(), rhs_type.clone()), params: (lhs_type.clone(), rhs_type.clone()),
operator: *op, operator: *op,
}); });
dbg!(&binops, &expected_return_ty);
if let Some(binop) = binops if let Some(binop) = binops
.iter() .iter()
.filter(|f| f.1.return_ty.narrow_into(&expected_return_ty).is_ok()) .filter(|f| f.1.return_ty.narrow_into(&expected_return_ty).is_ok())