OLD | NEW |
| (Empty) |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 import 'package:expect/expect.dart'; | |
6 import "package:async_helper/async_helper.dart"; | |
7 import 'compiler_helper.dart'; | |
8 | |
9 const String TEST = """ | |
10 | |
11 method(a) { // Called via [foo] with integer then double. | |
12 return a; | |
13 } | |
14 | |
15 const foo = method; | |
16 | |
17 returnNum(x) { | |
18 return foo(x); | |
19 } | |
20 | |
21 main() { | |
22 returnNum(10); | |
23 returnNum(10.5); | |
24 } | |
25 """; | |
26 | |
27 | |
28 void main() { | |
29 Uri uri = new Uri(scheme: 'source'); | |
30 var compiler = compilerFor(TEST, uri); | |
31 asyncTest(() => compiler.runCompiler(uri).then((_) { | |
32 var typesInferrer = compiler.typesTask.typesInferrer; | |
33 | |
34 checkArgument(String functionName, String type) { | |
35 var functionElement = findElement(compiler, functionName); | |
36 var signature = functionElement.functionSignature; | |
37 var element = signature.requiredParameters.first; | |
38 Expect.equals(type, | |
39 typesInferrer.getTypeOfElement(element).simplify(compiler), | |
40 functionName); | |
41 } | |
42 | |
43 checkArgument('method', compiler.typesTask.numType); | |
44 checkArgument('returnNum', compiler.typesTask.numType); | |
45 })); | |
46 } | |
OLD | NEW |