/*
 * 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.
 * @compile-error
 * @author iefremov
 * @reviewer rodionov
 */

main() {
  \u000a
}