Doug Gregor a5ec531cd0 [Constraint solver] Teach addBindOverloadConstraint to simplify directly. ...

We never have to allocate BindOverload constraints, so don't.

2016-10-21 14:03:56 -07:00

..

CMakeLists.txt

Sort the CMakeLists.txt file list for lib/Sema.

2016-10-18 22:09:09 -07:00

CodeSynthesis.cpp

SR-2673: @NSManaged property can't satisfy protocol requirement (#5141)

2016-10-06 09:44:12 -07:00

CodeSynthesis.h

AST: Add Throws flag and ThrowsLoc to AbstractFunctionDecl

2016-05-21 12:51:50 -07:00

Constraint.cpp

[Constraint solver] Remove unused 'class' constraints. NFC

2016-10-21 14:03:56 -07:00

Constraint.h

[Constraint solver] Remove unused 'class' constraints. NFC

2016-10-21 14:03:56 -07:00

ConstraintGraph.cpp

[Constraint system] Centralize the handling of "unsolved" returns in matchTypes.

2016-10-14 10:28:20 -07:00

ConstraintGraph.h

Take first steps towards simplifying the constraint graph by performing edge contraction.

2016-01-22 12:34:32 -08:00

ConstraintGraphScope.h

Use consistent formatting of header comments.

2016-01-04 23:00:53 +01:00

ConstraintLocator.cpp

[Sema] Improve diagnostics for witness mismatches against @objc protocols.

2016-04-19 10:22:23 -07:00

ConstraintLocator.h

Remove unused constraint locator flag, IsNotSimple.

2016-08-30 16:08:19 -07:00

ConstraintSolverStats.def

Update copyright date

2015-12-31 23:28:40 +00:00

ConstraintSystem.cpp

[Constraint solver] Don't reprocess constraints known to be unsolvable.

2016-10-21 14:03:56 -07:00

ConstraintSystem.h

[Constraint solver] Teach addBindOverloadConstraint to simplify directly.

2016-10-21 14:03:56 -07:00

CSApply.cpp

Merge pull request #5259 from rudkx/fix-28722908

2016-10-12 13:33:23 -07:00

CSDiag.cpp

[Sema] Check hasResult() before getResult() from ReturnStmt (#5362)

2016-10-20 08:18:36 +09:00

CSGen.cpp

[Constraint solver] Use custom addConstraint entrypoints consistently.

2016-10-21 14:03:56 -07:00

CSRanking.cpp

AST: Remove archetype from AbstractTypeParamDecl

2016-09-22 19:48:30 -07:00

CSSimplify.cpp

[Constraint solver] Allocate 'restricted' constraints lazily.

2016-10-21 14:03:56 -07:00

CSSolver.cpp

[Constraint solver] Remove unused 'class' constraints. NFC

2016-10-21 14:03:56 -07:00

DerivedConformanceEquatableHashable.cpp

AST: Introduce new GenericEnvironment class

2016-08-28 13:51:36 -07:00

DerivedConformanceError.cpp

[Type checker/runtime] Move default implementation of Error._code into the runtime.

2016-08-25 16:00:19 -07:00

DerivedConformanceRawRepresentable.cpp

[gardening] Fix accidental uses of \t

2016-09-17 13:15:26 +02:00

DerivedConformances.cpp

AST: Introduce new GenericEnvironment class

2016-08-28 13:51:36 -07:00

DerivedConformances.h

[Type checker/runtime] Move default implementation of Error._code into the runtime.

2016-08-25 16:00:19 -07:00

GenericTypeResolver.h

AST: Remove archetype from AbstractTypeParamDecl

2016-09-22 19:48:30 -07:00

ITCDecl.cpp

AST: Remove archetype from AbstractTypeParamDecl

2016-09-22 19:48:30 -07:00

ITCNameLookup.cpp

Introduce a new class between TypeDecl and NominalTypeDecl named GenericTypeDecl.

2016-03-04 23:09:15 -08:00

ITCType.cpp

Use correct formatting for separator line.

2016-01-05 09:49:00 +01:00

IterativeTypeChecker.cpp

Revert IterativeTypeChecker changes

2016-07-25 16:24:36 -07:00

MiscDiagnostics.cpp

Add missing EncodedDiagnosticMessage wrapper.

2016-10-12 11:21:30 -07:00

MiscDiagnostics.h

Add swift::diagnoseDeclAvailability, use in TypeCheckType.

2016-10-12 11:21:30 -07:00

NameBinding.cpp

Improve nonexistent decl diagnostic

2016-08-04 14:28:49 -07:00

OverloadChoice.h

[SE-0111] Drop argument labels on references to function values.

2016-07-28 15:40:11 -07:00

PlaygroundTransform.cpp

Use "TypeBase::hasError()" rather than "is<ErrorType>()" where needed.

2016-10-07 10:58:23 -07:00

SourceLoader.cpp

AST: Record -sil-serialize-all in the ModuleDecl

2016-03-28 14:14:49 -07:00

TypeCheckAttr.cpp

[AST] Remove @escaping from decl attributes.

2016-10-11 02:26:13 +09:00

TypeCheckCaptures.cpp

Check for null or error type and return if we hit either.

2016-10-16 20:00:16 -07:00

TypeCheckConstraints.cpp

[Constraint solver] Use custom addConstraint entrypoints consistently.

2016-10-21 14:03:56 -07:00

TypeCheckDecl.cpp

AST: Add "re-sugaring" to GenericEnvironment

2016-10-12 18:56:16 -07:00

TypeChecker.cpp

s/Version/PlatformVersion/ to availability specs, add LanguageVersion.

2016-10-12 11:20:42 -07:00

TypeChecker.h

Sema: More cleanup from removal of markInvalidGenericSignature()

2016-10-04 23:39:10 -04:00

TypeCheckError.cpp

Use "TypeBase::hasError()" rather than "is<ErrorType>()" where needed.

2016-10-07 10:58:23 -07:00

TypeCheckExpr.cpp

Normalize the way paren types are stripped in Sema.

2016-10-12 00:00:39 -04:00

TypeCheckExprObjC.cpp

[Type checker] Use proper lookup type in substitutions for #keyPath.

2016-09-21 22:40:58 -07:00

TypeCheckGeneric.cpp

AST: Add "re-sugaring" to GenericEnvironment

2016-10-12 18:56:16 -07:00

TypeCheckNameLookup.cpp

Add "IgnoreAccessControl" to UnqualifiedLookup.

2016-09-22 15:09:27 -07:00

TypeCheckPattern.cpp

Use "TypeBase::hasError()" rather than "is<ErrorType>()" where needed.

2016-10-07 10:58:23 -07:00

TypeCheckProtocol.cpp

Tighten up @objc optional near-miss detection heuristics.

2016-10-19 10:55:47 -07:00

TypeCheckREPL.cpp

Use "TypeBase::hasError()" rather than "is<ErrorType>()" where needed.

2016-10-07 10:58:23 -07:00

TypeCheckRequest.cpp

Update copyright date

2015-12-31 23:28:40 +00:00

TypeCheckStmt.cpp

Add period. Use ceil instead of round

2016-10-10 16:27:17 -07:00

TypeCheckType.cpp

[gardening] Fix recently introduced typos.

2016-10-19 12:59:10 +02:00