Merge 4e1723a into 78f178a

hwtypes/adt.py

@@ -68,7 +68,7 @@ def __new__(cls, *args, **kwargs):
             raise TypeError('Cannot instance unbound product type')
 
     def __repr__(self):
-        return f'{type(self).__name__}({", ".join(f"{k}={v}" for k,v in self.value_dict)})'
+        return f'{type(self).__name__}({", ".join(f"{k}={v}" for k,v in self.value_dict.items())})'
 
     @property
     def value_dict(self):

tests/test_adt.py

@@ -139,3 +139,14 @@ def test_new():
 
     t = new(Sum, (En1, Pr), module=__name__)
     assert t.__module__ == __name__
+
+@pytest.mark.parametrize("T", [En1, Tu, Su, Pr])
+def test_repr(T):
+    s = repr(T)
+    assert isinstance(s, str)
+    assert s != ''
+    for e in T.enumerate():
+        s = repr(e)
+        assert isinstance(s, str)
+        assert s != ''
+