diff --git a/artiq/compiler/types.py b/artiq/compiler/types.py
index 9c34d785f..c7f88b9f4 100644
--- a/artiq/compiler/types.py
+++ b/artiq/compiler/types.py
@@ -491,6 +491,9 @@ class TValue(Type):
     def __ne__(self, other):
         return not (self == other)
 
+    def __hash__(self):
+        return hash(self.value)
+
 class TDelay(Type):
     """
     The type-level representation of IO delay.