Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(118)

Unified Diff: tests/language/function_propagation_test.dart

Issue 147743005: classes with call-methods were not recognized as Functions. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Forgot to update analyzer2 status file. Created 6 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: tests/language/function_propagation_test.dart
diff --git a/tests/language/function_propagation_test.dart b/tests/language/function_propagation_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..afb4a1cef6ee9713526d309a1ac3ccbcdd05f09d
--- /dev/null
+++ b/tests/language/function_propagation_test.dart
@@ -0,0 +1,35 @@
+// Copyright (c) 2014, 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 "package:expect/expect.dart";
+
+class A {
+ int call(String str) => 499;
+}
+
+typedef int F(String str);
+
+main() {
+ var a = new A();
+ if (a is Function) {
+ Expect.isTrue(a is A);
+ } else {
+ Expect.fail("a should be a Function");
+ }
+
+ var a2 = new A();
+ if (a2 is F) {
+ Expect.isTrue(a2 is A);
+ } else {
+ Expect.fail("a2 should be an F");
+ }
+
+ Function a3 = new A();
+ // Dart2Js mistakenly assumed that Function and A couldn't be related and
+ // returned false for a is A.
+ Expect.isTrue(a3 is A);
+
+ F a4 = new A();
+ Expect.isTrue(a4 is A);
+}

Powered by Google App Engine
This is Rietveld 408576698