John McCall 59ffc88fa7 When ranking constraint solutions, consider anything that causes ...

a function conversion to be bad.

This encourages the type-checker to place conversions within
closures rather than outside; the test case here crashed in
SIL verification because of that.  (Yes, that means that there's
an underlying problem still when the function conversion is
required; that's tracked by rdar://15875305.)  But in general,
function conversions are likely to be expensive, and it's good
to avoid them when possible.

The setup work to add SK_FunctionConversion was accidentally
committed as part of r12813.

Swift SVN r12839

2014-01-23 01:28:48 +00:00

..

CMakeLists.txt

Split constraint system solution ranking into a separate source file.

2013-12-09 14:18:59 +00:00

Constraint.cpp

Remove the TrivialSubtype conversion kind and implement

2014-01-22 00:19:56 +00:00

Constraint.h

Remove the TrivialSubtype conversion kind and implement

2014-01-22 00:19:56 +00:00

ConstraintGraph.cpp

When retrieving constraints that mention a type variable, also look through fixed bindings.

2014-01-14 15:17:35 +00:00

ConstraintGraph.h

Replace the type variable -> graph node dense map with an embedded pointer.

2013-12-09 04:53:33 +00:00

ConstraintGraphScope.h

Added missing newlines to the end of a few files.

2013-12-13 03:38:38 +00:00

ConstraintLocator.cpp

Check a complete array-new expression within a single constraint system.

2013-12-13 19:16:19 +00:00

ConstraintLocator.h

When ranking constraint solutions, consider anything that causes

2014-01-23 01:28:48 +00:00

ConstraintSolverStats.def

Solve different connected components in isolation, then combine the results.

2013-11-24 01:57:47 +00:00

ConstraintSystem.cpp

Track whether a constraint locator is part of a function

2014-01-22 23:22:55 +00:00

ConstraintSystem.h

Track whether a constraint locator is part of a function

2014-01-22 23:22:55 +00:00

CSApply.cpp

Track whether a constraint locator is part of a function

2014-01-22 23:22:55 +00:00

CSDiag.cpp

Track whether a constraint locator is part of a function

2014-01-22 23:22:55 +00:00

CSGen.cpp

Track whether a constraint locator is part of a function

2014-01-22 23:22:55 +00:00

CSRanking.cpp

Remove the TrivialSubtype conversion kind and implement

2014-01-22 00:19:56 +00:00

CSSimplify.cpp

When ranking constraint solutions, consider anything that causes

2014-01-23 01:28:48 +00:00

CSSolver.cpp

Remove the TrivialSubtype conversion kind and implement

2014-01-22 00:19:56 +00:00

DerivedConformanceRawRepresentable.cpp

Eliminate a pile of literal identifiers for self, init, destructor, etc.

2014-01-22 01:09:49 +00:00

DerivedConformances.h

Added missing newlines to the end of a few files.

2013-12-04 21:37:17 +00:00

GenericTypeResolver.h

Teach GenericTypeResolver to produce the type of a DeclContext.

2013-10-21 22:22:37 +00:00

Makefile

forgot to svn add this.

2010-07-18 23:40:44 +00:00

MiscDiagnostics.cpp

Clean up comments in MiscDiagnostics.cpp.

2014-01-17 02:58:25 +00:00

MiscDiagnostics.h

Warn on recursive computed variable access within its own getter.

2014-01-17 02:58:22 +00:00

NameBinding.cpp

Always track external decls, not just during name binding and type checking.

2014-01-22 01:08:22 +00:00

OverloadChoice.h

Remove OverloadChoiceKind::IdentityFunction.

2013-12-04 21:14:47 +00:00

SourceLoader.cpp

Split diagnostics out into separate files.

2014-01-17 00:15:12 +00:00

TypeCheckConstraints.cpp

Track whether a constraint locator is part of a function

2014-01-22 23:22:55 +00:00

TypeCheckDecl.cpp

Invalidate and recheck constraints on type parameters as part of the signature.

2014-01-22 22:53:06 +00:00

TypeChecker.cpp

Always track external decls, not just during name binding and type checking.

2014-01-22 01:08:22 +00:00

TypeChecker.h

Push TypeResolutionOptions into identifier type resolution.

2014-01-22 05:54:05 +00:00

TypeCheckExpr.cpp

Expand out the "isComputed" property in AbstractStorageDecl to be an enum

2014-01-20 18:16:30 +00:00

TypeCheckGeneric.cpp

Base the implicit 'self' parameter type on DynamicSelf when appropriate.

2014-01-22 18:36:38 +00:00

TypeCheckNameLookup.cpp

Eliminate a pile of literal identifiers for self, init, destructor, etc.

2014-01-22 01:09:49 +00:00

TypeCheckPattern.cpp

Push TypeResolutionOptions into identifier type resolution.

2014-01-22 05:54:05 +00:00

TypeCheckProtocol.cpp

This patch went with r12555

2014-01-19 01:35:35 +00:00

TypeCheckREPL.cpp

Expand out the "isComputed" property in AbstractStorageDecl to be an enum

2014-01-20 18:16:30 +00:00

TypeCheckStmt.cpp

Switch some "unsigned options" over to TypeResolutionOptions.

2014-01-20 16:42:20 +00:00

TypeCheckType.cpp

Invalidate and recheck constraints on type parameters as part of the signature.

2014-01-22 22:53:06 +00:00