j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity

cl-typeck: Twiddle with infer (maybe this will help fix the weird behavior?)

Browse Source
This commit is contained in:
John 2025-05-18 11:39:54 -04:00
parent ccfa4c7723
commit 08b5937fc2
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
compiler/cl-typeck/src/stage/infer/inference.rs
View File

@ -451,14 +451,10 @@ impl<'a> Inference<'a> for Path {
impl<'a> Inference<'a> for Let {
fn infer(&'a self, e: &mut InferenceEngine<'_, 'a>) -> IfResult {
let Let { mutable: _, name, ty, init } = self;
// Deep copy the ty, if it exists
let ty = match ty {
Some(ty) => {
let ty = ty
.evaluate(e.table, e.at)
.map_err(InferenceError::AnnotationEval)?;
e.deep_clone(ty)
}
Some(ty) => ty
.evaluate(e.table, e.at)
.map_err(InferenceError::AnnotationEval)?,
None => e.new_var(),
};
// Infer the initializer
@ -467,6 +463,8 @@ impl<'a> Inference<'a> for Let {
let initty = init.infer(e)?;
e.unify(ty, initty)?;
}
// Deep copy the ty, if it exists
let ty = e.deep_clone(ty);
// Enter a local scope (modifies the current scope)
e.local_scope();
// Infer the pattern