// 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.

import '../../../sdk/lib/_internal/compiler/implementation/elements/elements.dart';
import '../../../sdk/lib/_internal/compiler/implementation/dart2jslib.dart' 
       show MessageKind;
import 'parser_helper.dart';

void main() {
  ErroneousElement e = new ErroneousElement(MessageKind.GENERIC, ['error'],
                                            buildSourceString('foo'), null);
  Expect.stringEquals('<foo: error>', '$e');
}