Index: compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java |
diff --git a/compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java b/compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java |
index d86425409359965336a33d7fd1d6d0a07076f658..e743e191a3458d7f314a4d1f3f1fbd15de7a1cd0 100644 |
--- a/compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java |
+++ b/compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java |
@@ -112,20 +112,18 @@ public class TopLevelElementBuilder { |
} |
} |
// Report two duplicate for both old/new nodes. |
- reportDuplicateDeclaration(listener, oldElement); |
- reportDuplicateDeclaration(listener, newElement); |
+ reportDuplicateDeclaration(listener, oldElement, newElement); |
+ reportDuplicateDeclaration(listener, newElement, oldElement); |
} |
} |
/** |
- * Reports {@link ResolverErrorCode#DUPLICATE_TOP_LEVEL_DEFINITION} for given named element. |
+ * Reports {@link ResolverErrorCode#DUPLICATE_TOP_LEVEL_DECLARATION} for given named element. |
*/ |
- private void reportDuplicateDeclaration(DartCompilerListener listener, Element element) { |
- compilationError( |
- listener, |
- element.getNameLocation(), |
- ResolverErrorCode.DUPLICATE_TOP_LEVEL_DEFINITION, |
- element.getName()); |
+ private void reportDuplicateDeclaration(DartCompilerListener listener, Element element, |
+ Element otherElement) { |
+ compilationError(listener, element.getNameLocation(), ResolverErrorCode.DUPLICATE_TOP_LEVEL_DECLARATION, |
+ otherElement, Elements.getRelativeElementLocation(element, otherElement)); |
} |
/** |