From a2d73c8b05c4b229ebcc69e18b0bdacb556b807f Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Tue, 17 Nov 2015 00:51:56 +0300
Subject: [PATCH] compiler.types: dump type variable iodelay explicitly.

---
 artiq/compiler/types.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/artiq/compiler/types.py b/artiq/compiler/types.py
index e7570d607..9cac1594a 100644
--- a/artiq/compiler/types.py
+++ b/artiq/compiler/types.py
@@ -623,8 +623,9 @@ class TypePrinter(object):
             signature = "(%s)->%s" % (", ".join(args), self.name(typ.ret))
 
             delay = typ.delay.find()
-            if not (isinstance(delay, TVar) or
-                        delay.is_fixed() and iodelay.is_zero(delay.duration)):
+            if isinstance(delay, TVar):
+                signature += " delay({})".format(self.name(delay))
+            elif not (delay.is_fixed() and iodelay.is_zero(delay.duration)):
                 signature += " " + self.name(delay)
 
             if isinstance(typ, TRPCFunction):