diff --git a/artiq/compiler/types.py b/artiq/compiler/types.py index 08d9fcd2c..16f21c913 100644 --- a/artiq/compiler/types.py +++ b/artiq/compiler/types.py @@ -500,11 +500,11 @@ class TDelay(Type): def unify(self, other): other = other.find() - if self.is_fixed() and other.is_fixed() and \ + if isinstance(other, TVar): + other.unify(self) + elif self.is_fixed() and other.is_fixed() and \ self.duration.fold() == other.duration.fold(): pass - elif isinstance(other, TVar): - other.unify(self) else: raise UnificationError(self, other)