From d899d7307e4bd192b3500f37ff5bdbea180289bc Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Thu, 25 Feb 2016 19:56:12 +0000
Subject: [PATCH] compiler.types: TDelay is always unifiable with self.

---
 artiq/compiler/types.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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):