On Sun, Apr 28, 2013 at 11:50:16PM -0700, Ethan Furman wrote:
In other words, currently:
class Color(Enum): red = 1 green = 2 blue = 3
class MoreColor(Color): cyan = 4 magenta = 5 yellow = 6 black = 7
MoreColor.red is Color.red # True
Correct.
But as soon as:
type(Color.red) is Color # True type(MoreColor.red) is MoreColor # True
I don't believe this is correct. As I understand it, the proposal is the weaker guarantee: isinstance(Color.red, Color) # True, possibly using __instancecheck__ Since red is not defined by MoreColor, there's no reason to expect that it will be a MoreColor instance. As far as I understand it, there is no guarantee that isinstance(MoreColor.red, MoreColor) will be true, even if that is possible using __instancecheck__. -- Steven