diff --git a/artiq/compiler/types.py b/artiq/compiler/types.py index 460c07ae7..fdb225d9c 100644 --- a/artiq/compiler/types.py +++ b/artiq/compiler/types.py @@ -527,7 +527,7 @@ class TDelay(Type): elif self.is_fixed() and other.is_fixed() and \ self.duration.fold() == other.duration.fold(): pass - else: + elif self is not other: raise UnificationError(self, other) def fold(self, accum, fn):