#2685 Recompile rules

This commit is contained in:
Thomas Krijnen
2023-01-13 12:12:26 +01:00
parent e812a886dc
commit a1ac820050
11 changed files with 22 additions and 11 deletions
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator
@@ -30,8 +30,9 @@ def usedin(inst, ref_name):
class express_set(set):
def __rmul__(self, other):
def __mul__(self, other):
return express_set(set(other) & self)
__rmul__ = __mul__
def __add__(self, other):
def make_list(v):
# Comply with 12.6.3 Union operator