language-servers/tinymist
1
0
Fork 0
mirror of https://github.com/Myriad-Dreamin/tinymist.git synced 2025-08-04 10:18:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

feat: infer types on set rules (#189)

Browse source
This commit is contained in:
Myriad-Dreamin 2024-04-15 00:47:03 +08:00 • committed by GitHub
parent f98470a0f5
commit 878a414646
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 19 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

22
crates/tinymist-query/src/analysis/ty.rs
View file

@ -509,13 +509,29 @@ impl<'a, 'w> TypeChecker<'a, 'w> {
Some(FlowType::Any)
}
// todo: merge with func call, and regard difference (may be here)
fn check_set(&mut self, root: LinkedNode<'_>) -> Option<FlowType> {
let set_rule: ast::SetRule = root.cast()?;
let _target = self.check_expr_in(set_rule.target().span(), root.clone());
let _args = self.check_expr_in(set_rule.args().span(), root);
let callee = self.check_expr_in(set_rule.target().span(), root.clone());
let args = self.check_expr_in(set_rule.args().span(), root.clone());
let mut candidates = Vec::with_capacity(1);
Some(FlowType::Any)
log::debug!("set rule: {callee:?} with {args:?}");
if let FlowType::Args(args) = args {
self.check_apply(callee, &args, &set_rule.args(), &mut candidates)?;
}
if candidates.len() == 1 {
return Some(candidates[0].clone());
}
if candidates.is_empty() {
return Some(FlowType::Any);
}
Some(FlowType::Union(Box::new(candidates)))
}
fn check_show(&mut self, root: LinkedNode<'_>) -> Option<FlowType> {