| Index: pkg/compiler/lib/src/parser/element_listener.dart
|
| diff --git a/pkg/compiler/lib/src/parser/element_listener.dart b/pkg/compiler/lib/src/parser/element_listener.dart
|
| index 11d710850dc3b9f331385a7ccfb1aff63fa668fa..53c275f5429c24a780a23bed729d5e3bee4927fb 100644
|
| --- a/pkg/compiler/lib/src/parser/element_listener.dart
|
| +++ b/pkg/compiler/lib/src/parser/element_listener.dart
|
| @@ -629,7 +629,10 @@ class ElementListener extends Listener {
|
| errorCode = MessageKind.INVALID_AWAIT_FOR;
|
| break;
|
|
|
| - case ErrorKind.InvalidInputCharacter:
|
| + case ErrorKind.AsciiControlCharacter:
|
| + case ErrorKind.NonAsciiIdentifier:
|
| + case ErrorKind.NonAsciiWhitespace:
|
| + case ErrorKind.Encoding:
|
| errorCode = MessageKind.BAD_INPUT_CHARACTER;
|
| break;
|
|
|
| @@ -641,7 +644,7 @@ class ElementListener extends Listener {
|
| errorCode = MessageKind.VOID_NOT_ALLOWED;
|
| break;
|
|
|
| - case ErrorKind.MalformedStringLiteral:
|
| + case ErrorKind.UnexpectedDollarInString:
|
| errorCode = MessageKind.MALFORMED_STRING_LITERAL;
|
| break;
|
|
|
|
|