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

Improve binary operation inference, still not great

Browse Source
This commit is contained in:
Sofia 2025-07-28 14:22:27 +03:00
parent 469ce3ce77
commit a680064b0f
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
reid/src/mir/typecheck/typeinference.rs
View File

@ -285,8 +285,8 @@ impl Block {
let rhs_ref = state.ok(rhs_infer, rhs.1); let rhs_ref = state.ok(rhs_infer, rhs.1);
// Try to narrow the lhs with rhs // Try to narrow the lhs with rhs
if let (Some(mut lhs_ref), Some(rhs_ref)) = (lhs_ref, rhs_ref) { if let (Some(mut lhs_ref), Some(mut rhs_ref)) = (lhs_ref, rhs_ref) {
lhs_ref.narrow(&rhs_ref); rhs_ref.narrow(&lhs_ref);
} }
} }
StmtKind::Import(_) => panic!(), StmtKind::Import(_) => panic!(),

6
reid/src/mir/typecheck/typerefs.rs
View File

@ -366,7 +366,11 @@ impl<'outer> ScopeTypeRefs<'outer> {
*idx.borrow_mut() = *hint1.0.borrow(); *idx.borrow_mut() = *hint1.0.borrow();
} }
} }
(TypeRefKind::Direct(_), TypeRefKind::BinOp(..)) => {} (TypeRefKind::Direct(_), TypeRefKind::BinOp(..)) => {
if *idx == hint1.0 && idx != &hint2.0 {
*idx.borrow_mut() = *hint2.0.borrow();
}
}
(TypeRefKind::BinOp(..), TypeRefKind::Direct(..)) => { (TypeRefKind::BinOp(..), TypeRefKind::Direct(..)) => {
// TODO may not be good ? // TODO may not be good ?
// if *idx == hint2.0 && idx != &hint1.0 { // if *idx == hint2.0 && idx != &hint1.0 {