Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(440)

Unified Diff: dart/sdk/lib/_internal/compiler/implementation/dart_backend/placeholder_collector.dart

Issue 99303004: Remove unused API. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge
Patch Set: Address review comments Created 7 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: dart/sdk/lib/_internal/compiler/implementation/dart_backend/placeholder_collector.dart
diff --git a/dart/sdk/lib/_internal/compiler/implementation/dart_backend/placeholder_collector.dart b/dart/sdk/lib/_internal/compiler/implementation/dart_backend/placeholder_collector.dart
index be1ffda5cb8cc819c129f9e4458acb226e1c2346..fec7db64e040f738b06bf588dc60d0daf754a74b 100644
--- a/dart/sdk/lib/_internal/compiler/implementation/dart_backend/placeholder_collector.dart
+++ b/dart/sdk/lib/_internal/compiler/implementation/dart_backend/placeholder_collector.dart
@@ -370,8 +370,6 @@ class PlaceholderCollector extends Visitor {
compiler.cancel(reason, node: node);
}
- void unreachable() { internalError('Unreachable case'); }
-
visit(Node node) => (node == null) ? null : node.accept(this);
visitNode(Node node) { node.visitChildren(this); } // We must go deeper.

Powered by Google App Engine
This is Rietveld 408576698