Skip to content

Commit 5247d07

Browse files
committed
Fixed compress
1 parent 3fb1d8f commit 5247d07

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

synth/semantic/evaluator.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ def compress(self, program: Program) -> Program:
4444
if isinstance(program, Function):
4545
args = [self.compress(p) for p in program.arguments]
4646
if len(program.type.returns().arguments()) == 0 and all(
47-
a.is_constant() for a in args
47+
not a.uses_variables() for a in args
4848
):
4949
before = self.use_cache
5050
self.use_cache = False

0 commit comments

Comments
 (0)