Index: pkg/compiler/lib/src/kernel/kernel_debug.dart |
diff --git a/pkg/compiler/lib/src/kernel/kernel_debug.dart b/pkg/compiler/lib/src/kernel/kernel_debug.dart |
index 84a195d40a5b819a5542433324c9c652c80dece5..725e2d1a6b600dc9195159aa825c4abc42f22093 100644 |
--- a/pkg/compiler/lib/src/kernel/kernel_debug.dart |
+++ b/pkg/compiler/lib/src/kernel/kernel_debug.dart |
@@ -53,6 +53,15 @@ class DebugPrinter extends Visitor with Indentation, Tagging<Node> { |
closeNode(); |
} |
+ @override |
+ void visitInterfaceType(InterfaceType node) { |
+ openNode(node, '${node.runtimeType}', { |
+ 'name': '${node.classNode.name}', |
+ }); |
+ node.visitChildren(this); |
+ closeNode(); |
+ } |
+ |
/// Pretty-prints given node tree into string. |
static String prettyPrint(Node node) { |
var p = new DebugPrinter(); |