Reject non-ASCII identifiers.

dart/lib/compiler/implementation/tools/mini_parser.dart

Index: dart/lib/compiler/implementation/tools/mini_parser.dart
diff --git a/dart/lib/compiler/implementation/tools/mini_parser.dart b/dart/lib/compiler/implementation/tools/mini_parser.dart
index cb39b2c1e925fd4d537ef6c6ab0de7c862f92add..413266b92ac948d353ca7e0f84fd471e11a6c7c4 100644
--- a/dart/lib/compiler/implementation/tools/mini_parser.dart
+++ b/dart/lib/compiler/implementation/tools/mini_parser.dart
@@ -105,8 +105,6 @@ void parseFile(String filename, MyOptions options) {
     } else {
       print(ex);
     }
-  } on MalformedInputException catch (ex) {
-    // Already diagnosed.
   } catch (ex) {
     print('Error in file: $filename');
     throw;
@@ -124,17 +122,7 @@ void parseFile(String filename, MyOptions options) {
 
 Token scan(MySourceFile source) {
   Scanner scanner = new ByteArrayScanner(source.rawText);
-  try {
-    return scanner.tokenize();
-  } on MalformedInputException catch (ex) {
-    if (ex.position is Token) {
-      print(formatError(ex.message, ex.position, ex.position, source));
-    } else {
-      Token fakeToken = new Token(QUESTION_INFO, ex.position);
-      print(formatError(ex.message, fakeToken, fakeToken, source));
-    }
-    throw;
-  }
+  return scanner.tokenize();
 }
 
 var filesWithCrashes;