diff --git a/artiq/compiler/types.py b/artiq/compiler/types.py
index 36667b238..9c34d785f 100644
--- a/artiq/compiler/types.py
+++ b/artiq/compiler/types.py
@@ -733,6 +733,8 @@ class TypePrinter(object):
                 attrs = ", ".join(["{}: {}".format(attr, self.name(typ.attributes[attr]))
                                    for attr in typ.attributes])
                 return "<constructor {} {{{}}}>".format(typ.name, attrs)
+        elif isinstance(typ, TBuiltin):
+            return "<builtin {}>".format(typ.name)
         elif isinstance(typ, TValue):
             return repr(typ.value)
         elif isinstance(typ, TDelay):
diff --git a/lit-test/test/inferencer/with.py b/lit-test/test/inferencer/with.py
index b11f3da13..2228b6204 100644
--- a/lit-test/test/inferencer/with.py
+++ b/lit-test/test/inferencer/with.py
@@ -1,5 +1,5 @@
 # RUN: %python -m artiq.compiler.testbench.inferencer %s >%t
 # RUN: OutputCheck %s --file-to-check=%t
 
-# CHECK-L: as x:<function parallel>
+# CHECK-L: as x:<builtin parallel>
 with parallel as x: pass