language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-03 05:54:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: add ast::VarPattern::Phi

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-10-20 14:25:29 +09:00
parent 9c1e77ecd0
commit 01a5938c29
9 changed files with 121 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/context/unify.rs
View file

@ -1874,6 +1874,8 @@ impl<'c, 'l, 'u, L: Locational> Unifier<'c, 'l, 'u, L> {
}
self.sub_unify_pred(&sub.pred, &supe.pred)?;
}
// {Int} <: Obj -> Int
(Refinement(_), Subr(_) | Quantified(_)) if maybe_sub.singleton_value().is_some() => {}
// {I: Int | I >= 1} <: Nat == {I: Int | I >= 0}
(Refinement(_), sup) => {
let sup = sup.clone().into_refinement();