| 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();
|
|
|