Commit 5acab5be authored by Tom Niget's avatar Tom Niget

Fix recursive call

parent 0f328ac7
...@@ -64,12 +64,15 @@ assert(len(["a"])) ...@@ -64,12 +64,15 @@ assert(len(["a"]))
assert [1, 2, 3][1] assert [1, 2, 3][1]
def iter(x: Iterable[U]) -> Iterator[U]:
...
def next(it: Iterator[U], default: None) -> U: def next(it: Iterator[U], default: None) -> U:
... ...
# what happens with multiple functions # what happens with multiple functions
assert iter(["1", "2"])
def identity(x: U) -> U: def identity(x: U) -> U:
... ...
......
...@@ -113,7 +113,7 @@ class TypeVariable(BaseType): ...@@ -113,7 +113,7 @@ class TypeVariable(BaseType):
GenMethodFactory = Callable[["BaseType"], "FunctionType"] GenMethodFactory = Callable[["BaseType"], "FunctionType"]
@dataclass @dataclass(eq=False)
class TypeOperator(BaseType, ABC): class TypeOperator(BaseType, ABC):
args: List[BaseType] args: List[BaseType]
name: str = None name: str = None
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment