fix: sub-unification bug

erg-lang · Sep 17, 2024 · c9cbf69 · c9cbf69
1 parent d115758
commit c9cbf69
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/crates/erg_compiler/context/unify.rs b/crates/erg_compiler/context/unify.rs
@@ -1298,6 +1298,7 @@ impl<'c, 'l, 'u, L: Locational> Unifier<'c, 'l, 'u, L> {
                 // self.sub_unify(&lsub, &union, loc, param_name)?;
                 maybe_sup.update_tyvar(union, intersec, self.undoable, false);
             }
+            // TODO: Preferentially compare same-structure types (e.g. K(?T) <: K(?U))
             (And(ltys), And(rtys)) => {
                 let mut ltys_ = ltys.clone();
                 let mut rtys_ = rtys.clone();
@@ -1322,6 +1323,7 @@ impl<'c, 'l, 'u, L: Locational> Unifier<'c, 'l, 'u, L> {
                     }
                 }
             }
+            // TODO: Preferentially compare same-structure types (e.g. K(?T) <: K(?U))
             // Nat or Str or NoneType <: NoneType or ?T or Int
             // => Str <: ?T
             // (Int or ?T) <: (?U or Int)