diff --git a/.gitignore b/.gitignore index f09b26dfe7dfa21a1cbb131ac52e6c59b2344710..1202eabefaef53bca0ec6069fd3fc9718a06c4b9 100644 --- a/.gitignore +++ b/.gitignore @@ -3,6 +3,7 @@ .settings *~ .*.sw[po] +.sw[po] *.dat *.pyc build diff --git a/islpy/__init__.py b/islpy/__init__.py index cd771c1e8e2d00df400d93725f30705e489af89d..d2a05087249a5ff6cb2691ae68fb4db39200c08b 100644 --- a/islpy/__init__.py +++ b/islpy/__init__.py @@ -144,7 +144,7 @@ def _add_functionality(): """ result = {} - def set_dim_name(name, tp, idx): + def set_dim_id(name, tp, idx): if name in result: raise RuntimeError("non-unique var id '%s' encountered" % name) result[name] = tp, idx diff --git a/test/test_isl.py b/test/test_isl.py index a7b502865c65427e09e1438b2b6108965c66c2ec..867464d5765080f7cbca4868e096893efc6bf9ac 100644 --- a/test/test_isl.py +++ b/test/test_isl.py @@ -87,6 +87,10 @@ def test_pickling(): assert inst.plain_is_equal(inst2) +def test_get_id_dict(): + print(isl.Set("[a] -> {[b]}").get_id_dict(isl.dim_type.param)) + + if __name__ == "__main__": import sys if len(sys.argv) > 1: