// Copyright (c) 2011, 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.

/// @assertion Dart source text is represented as a sequence of Unicode code
/// points.
/// LETTER:
///   'a' .. 'z' |
///   'A' .. 'Z'
/// ;
/// DIGIT:
///   '0' .. '9'
/// ;
/// WHITESPACE:
///   ('\t' | ' ' | NEWLINE)+
/// ;
/// @description Checks that a hex-encoded unicode value (\u000a) appearing in
/// the source text is not translated to a corresponding symbol (like in Java)
/// and therefore produces a compile-time error.
/// @author iefremov


main() {
  \u000a
// ^
// [analyzer] unspecified
// [cfe] unspecified
}