Reject non-ASCII identifiers.

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

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #library('parser');
 
 #import('dart:io');
 
 #import('../../../utf/utf.dart');
 
@@ skipping 87 matching lines @@
       : new Parser(listener);
   try {
     Token token = scan(file);
     if (!options.scanOnly) parser.parseUnit(token);
   } on ParserError catch (ex) {
     if (options.throwOnError) {
       throw;
     } else {
       print(ex);
     }
-  } on MalformedInputException catch (ex) {
-    // Already diagnosed.
   } catch (ex) {
     print('Error in file: $filename');
     throw;
   }
   if (options.buildAst) {
     MyNodeListener l = listener;
     if (!l.nodes.isEmpty()) {
       String message = 'Stack not empty after parsing';
       print(formatError(message, l.nodes.head.getBeginToken(),
                         l.nodes.head.getEndToken(), file));
       throw message;
     }
   }
 }
 
 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;
 
 void parseFilesFrom(InputStream input, MyOptions options, Function whenDone) {
   void readLine(String line) {
     stopwatch.start();
     try {
       parseFile(line, options);
     } catch (ex, trace) {
@@ skipping 173 matching lines @@
   set text(String newText) {
     throw "not supported";
   }
 }
 
 class Mock {
   const Mock();
   bool get useColors => true;
   internalError(message) { throw message.toString(); }
 }