From 3e7ce13893bb287ba8fd652591714bdcb54cf7c8 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Tue, 25 Dec 2012 02:46:49 +0400
Subject: [PATCH] Render parameter indices.

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

diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
index fa543285a85..a79e09bc74e 100644
--- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
@@ -335,6 +335,10 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
             builder.append(lt());
         }
 
+        if (verbose) {
+            builder.append("/*").append(typeParameter.getIndex()).append("*/ ");
+        }
+
         if (typeParameter.isReified()) {
             builder.append(renderKeyword("reified")).append(" ");
         }
@@ -476,6 +480,11 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
         if (topLevel) {
             builder.append(renderKeyword("value-parameter")).append(" ");
         }
+
+        if (verbose) {
+            builder.append("/*").append(valueParameter.getIndex()).append("*/ ");
+        }
+
         renderVariable(valueParameter, builder, topLevel);
         boolean withDefaultValue = debugMode ? valueParameter.declaresDefaultValue() : valueParameter.hasDefaultValue();
         if (withDefaultValue) {