BUG: Substitution does not penetrate Switch expressions
This commit is contained in:
parent
55fa7add0e
commit
e6d8933ccf
2
ir.py
2
ir.py
|
@ -292,7 +292,7 @@ class Switch:
|
||||||
def subst(self, expression: Expression, variable: str) -> Expression:
|
def subst(self, expression: Expression, variable: str) -> Expression:
|
||||||
return Switch(
|
return Switch(
|
||||||
{i: e.subst(expression, variable) for i, e in self.branches.items()},
|
{i: e.subst(expression, variable) for i, e in self.branches.items()},
|
||||||
self.fallback,
|
self.fallback.subst(expression, variable),
|
||||||
self.switching_on.subst(expression, variable))
|
self.switching_on.subst(expression, variable))
|
||||||
|
|
||||||
def is_value(self) -> bool:
|
def is_value(self) -> bool:
|
||||||
|
|
Loading…
Reference in New Issue