diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java index 02b8c922c33..ccaa3f93557 100644 --- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java +++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java @@ -116,6 +116,17 @@ public class DescriptorRendererImpl implements DescriptorRenderer { return escape("<"); } + @NotNull + private String arrow() { + switch (textFormat) { + case PLAIN: + return escape("->"); + case HTML: + return "→"; + } + throw new IllegalStateException("Unexpected textFormat: " + textFormat); + } + @NotNull private String renderMessage(@NotNull String message) { switch (textFormat) { @@ -188,7 +199,7 @@ public class DescriptorRendererImpl implements DescriptorRenderer { return "???"; } else if (type == CallResolverUtil.PLACEHOLDER_FUNCTION_TYPE) { - return "??? -> ???"; + return "??? " + arrow() + " ???"; } else if (ErrorUtils.isErrorType(type)) { return type.toString(); @@ -258,7 +269,7 @@ public class DescriptorRendererImpl implements DescriptorRenderer { sb.append("("); appendTypeProjections(KotlinBuiltIns.getInstance().getParameterTypeProjectionsFromFunctionType(type), sb); - sb.append(") -> "); + sb.append(") " + arrow() + " "); sb.append(renderType(KotlinBuiltIns.getInstance().getReturnTypeFromFunctionType(type))); if (type.isNullable()) { diff --git a/idea/testData/diagnosticMessage/functionPlaceholder1.html b/idea/testData/diagnosticMessage/functionPlaceholder1.html index a41e3eb40d7..de44d6314a1 100644 --- a/idea/testData/diagnosticMessage/functionPlaceholder1.html +++ b/idea/testData/diagnosticMessage/functionPlaceholder1.html @@ -36,7 +36,7 @@ cannot be applied to