From a09ebcd1d18d18950d35bcb0bca703182bf7858d Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Tue, 25 Dec 2012 03:11:13 +0400
Subject: [PATCH] Render class object name when verbose.

---
 .../jet/renderer/DescriptorRendererImpl.java     | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
index a12e934f62b..e727fb79e4b 100644
--- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
@@ -560,14 +560,16 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
         }
 
         List<TypeParameterDescriptor> typeParameters = klass.getTypeConstructor().getParameters();
-        if (!classObject) {
+
+        if (!classObject || verbose) {
             renderName(klass, builder);
-            renderTypeParameters(typeParameters, builder, false);
-            if (classWithPrimaryConstructor) {
-                ConstructorDescriptor primaryConstructor = klass.getUnsubstitutedPrimaryConstructor();
-                if (primaryConstructor != null) {
-                    renderValueParameters(primaryConstructor, builder);
-                }
+        }
+        renderTypeParameters(typeParameters, builder, false);
+
+        if (!classObject && classWithPrimaryConstructor) {
+            ConstructorDescriptor primaryConstructor = klass.getUnsubstitutedPrimaryConstructor();
+            if (primaryConstructor != null) {
+                renderValueParameters(primaryConstructor, builder);
             }
         }