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 only via [foo2] with a small integer. | |
12 return a; | |
13 } | |
14 | |
15 const foo = method; | |
16 | |
17 returnInt() { | |
18 return foo(54); | |
19 } | |
20 | |
21 main() { | |
22 returnInt(); | |
23 } | |
24 """; | |
25 | |
26 | |
27 void main() { | |
28 Uri uri = new Uri(scheme: 'source'); | |
29 var compiler = compilerFor(TEST, uri); | |
30 asyncTest(() => compiler.runCompiler(uri).then((_) { | |
31 var typesInferrer = compiler.typesTask.typesInferrer; | |
32 | |
33 checkArgument(String functionName, String type) { | |
34 var functionElement = findElement(compiler, functionName); | |
35 var signature = functionElement.functionSignature; | |
36 var element = signature.requiredParameters.first; | |
37 Expect.equals(type, | |
38 typesInferrer.getTypeOfElement(element).simplify(compiler), | |
39 functionName); | |
40 } | |
41 | |
42 checkArgument('method', compiler.typesTask.uint31Type); | |
43 })); | |
44 } | |
OLD | NEW |