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

// Regression test for http://dartbug.com/10231.

import "package:expect/async_helper.dart";
import 'package:expect/expect.dart';
import '../helpers/compiler_helper.dart';

const String SOURCE = """
test(a, b, c, d) {
  if (a is !num) throw 'a not num';
  if (b is !num) throw 'b not num';
  if (c is !num) throw 'c not num';
  if (d is !num) throw 'd not num';
  return a + b + c + d;
}

main() {
  test(1, 2, 3, 4);
  test('x', 'y', 'z', 'w');
  test([], {}, [], {});
}
""";

void main() {
  runTests() async {
    String code = await compile(SOURCE, methodName: 'test');
    Expect.isNotNull(code);
    Expect.equals(0, RegExp('add').allMatches(code).length);
    Expect.equals(3, RegExp('\\+').allMatches(code).length);
  }

  asyncTest(() async {
    print('--test from kernel------------------------------------------------');
    await runTests();
  });
}