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

Update tyvar.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-24 14:46:01 +09:00
parent c5e39f4a62
commit 8077e55b90
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/erg_compiler/context/tyvar.rs
View file

@ -478,7 +478,8 @@ impl Context {
Type::FreeVar(fv) if fv.constraint_is_sandwiched() => { Type::FreeVar(fv) if fv.constraint_is_sandwiched() => {
let (sub_t, super_t) = fv.get_subsup().unwrap(); let (sub_t, super_t) = fv.get_subsup().unwrap();
if self.level <= fv.level().unwrap() { if self.level <= fv.level().unwrap() {
// REVIEW: // if fv == ?T(<: Int, :> Add(?T)), deref_tyvar(super_t) will cause infinite loop
// so we need to force linking
fv.forced_undoable_link(&sub_t); fv.forced_undoable_link(&sub_t);
let res = self.validate_subsup(sub_t, super_t, variance, loc); let res = self.validate_subsup(sub_t, super_t, variance, loc);
fv.undo(); fv.undo();