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

Add typechecking for borrow/deref

Browse Source
This commit is contained in:
Sofia 2025-07-20 21:48:00 +03:00
parent cf30f79951
commit c0e375d84c
1 changed files with 51 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -629,8 +629,57 @@ impl Expression {
}
Ok(TypeKind::CustomType(struct_name.clone()))
}
ExprKind::Borrow(named_variable_ref) => todo!(),
ExprKind::Deref(named_variable_ref) => todo!(),
ExprKind::Borrow(var_ref) => {
let existing = state
.or_else(
state
.scope
.variables
.get(&var_ref.1)
.map(|var| &var.ty)
.cloned()
.ok_or(ErrorKind::VariableNotDefined(var_ref.1.clone())),
TypeKind::Vague(Vague::Unknown),
var_ref.2,
)
.resolve_ref(typerefs);
// Update typing to be more accurate
var_ref.0 = state.or_else(
var_ref.0.resolve_ref(typerefs).collapse_into(&existing),
TypeKind::Vague(Vague::Unknown),
var_ref.2,
);
Ok(TypeKind::Borrow(Box::new(var_ref.0.clone())))
}
ExprKind::Deref(var_ref) => {
let existing = state
.or_else(
state
.scope
.variables
.get(&var_ref.1)
.map(|var| &var.ty)
.cloned()
.ok_or(ErrorKind::VariableNotDefined(var_ref.1.clone())),
TypeKind::Vague(Vague::Unknown),
var_ref.2,
)
.resolve_ref(typerefs);
// Update typing to be more accurate
var_ref.0 = state.or_else(
var_ref.0.resolve_ref(typerefs).collapse_into(&existing),
TypeKind::Vague(Vague::Unknown),
var_ref.2,
);
match &var_ref.0 {
TypeKind::Borrow(type_kind) => Ok(*type_kind.clone()),
_ => Err(ErrorKind::AttemptedDerefNonBorrow(var_ref.1.clone())),
}
}
}
}
}