Repository navigation
_NamedIslSetOrMapLike.project_out's types falsely advertises that it handles "str". #26
Description
Reproducer:
$ python -c "import namedisl as nisl; domain=nisl.make_set('{ [i] : 0 <= i < 1 }'); print(domain.project_out('i'))"
Traceback (most recent call last):
File "<string>", line 1, in <module>
import namedisl as nisl; domain=nisl.make_set('{ [i] : 0 <= i < 1 }'); print(domain.project_out('i'))
~~~~~~~~~~~~~~~~~~^^^^^
File "/home/kaushikggg/projects/namedisl/namedisl/set_like.py", line 279, in project_out
for dt, chunks in chunked_dims_by_type(
~~~~~~~~~~~~~~~~~~~~^
names, self.space.name_to_dim).items():
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/kaushikggg/projects/namedisl/namedisl/core.py", line 299, in chunked_dims_by_type
raise TypeError("expected collection of names, got string")
TypeError: expected collection of names, got stringAn easy fix is to just have:
def project_out(self,
names: Collection[str],
*, cache: Cache | None = None,
) -> Self:
Activity
inducer commentedon Sep 7, 2026
See #27. That said, I don't expect it'll help, since
stris a subtype ofCollection[str].Fix annotation on project_out