Remove old code

trans/transpiler/phases/typing/types.py

@@ -166,35 +166,6 @@ class TypeOperator(BaseType, ABC):
                 else:
                     return
             raise IncompatibleTypesError(f"Cannot unify {self} and {other} with different type and no common parents")
-        if len(self.args) != len(other.args):
-            if not (self.variadic or other.variadic):
-                pass
-                # # a, b = self, other
-                # # if a.optio
-                # # a_opt = a.optional_at is not None
-                # # b_opt = b.optional_at is not None
-                # # if a_opt and b_opt:
-                # #     raise IncompatibleTypesError(f"This really should never happen")
-                # # if b_opt:
-                # #     other.unify_internal(self)
-                # #     return
-                # if a_opt:
-                #     if len(a.args) < len(b.args):
-                #         raise IncompatibleTypesError(f"Cannot unify {self} and {other} with different number of arguments")
-                #     # a = f(A, B; C=?, D=?)
-                #     # b = g(A, B, ... ?)
-                #     # either
-                #     # |a| < |b| => b has more args => invalid
-                #     # |a| ≥ |b| => b has less args => valid, up to |b|, so normal course of events
-                #
-                #     x = True
-                #
-                #     # c'est pété => utiliser le truc de la boucle en bas
-                #
-                #     # TODO: pas implémenté
-                #
-                # # if not (self.variadic or other.variadic):
-                # #     raise IncompatibleTypesError(f"Cannot unify {self} and {other} with different number of arguments")
         if len(self.args) == 0:
             if self.name != other.name:
                 raise IncompatibleTypesError(f"Cannot unify {self} and {other}")