Doug Gregor
e4343a0f9d
Don't infer [auto_closure] types; use the result type.
...
Swift SVN r11061
2013-12-10 00:39:22 +00:00
Doug Gregor
eaae20303d
Look through one-tuples when deciding on a variable binding.
...
Swift SVN r11059
2013-12-10 00:30:36 +00:00
Doug Gregor
3040f2195b
Factor our the selection of "alternative" literal type suggestions.
...
Swift SVN r11035
2013-12-09 19:19:21 +00:00
Doug Gregor
4ddd82cc89
As soon as a (partial) solution becomes worse than the best solution, stop.
...
This shaves about 10% off the number of solution states explored when
type-checking the standard library, although it doesn't improve
overall time by much. In a more targeted benchmark, 1 + 2.0 + 1, we
get a 21% speedup.
Swift SVN r11033
2013-12-09 18:13:37 +00:00
Doug Gregor
79f8175e0b
Solver: Keep track of a solution's score as we're computing it.
...
No functionality change here; just staging for some future optimizations.
Swift SVN r11028
2013-12-09 17:12:07 +00:00
Doug Gregor
5bb053c0dd
Fix renamed file names
...
Swift SVN r11017
2013-12-09 14:20:33 +00:00
Doug Gregor
ee545e9f68
Rename TypeCheckConstraintsFoo.cpp to CSFoo.cpp.
...
It's more idiomatic and easier to type.
Swift SVN r11015
2013-12-09 14:09:54 +00:00
