Michael Ilseman ffd3dde01c [TypeChecker] Don't double validate dict types ...

Prior, binding generic args in dictionary type checking would double
resolve the key and value types a second time, emitting duplicated
errors potentially. Instead, we reuse the resolved types.

2016-09-09 13:00:21 -07:00

..

CMakeLists.txt

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

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

CodeSynthesis.cpp

AST: Use the new Type::subst() in a few places

2016-09-08 21:59:13 -07:00

CodeSynthesis.h

AST: Add Throws flag and ThrowsLoc to AbstractFunctionDecl

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

Constraint.cpp

Eliminate the -enable-id-as-any flag; it's always on now anyway.

2016-08-19 21:17:09 -07:00

Constraint.h

Eliminate the -enable-id-as-any flag; it's always on now anyway.

2016-08-19 21:17:09 -07:00

ConstraintGraph.cpp

[gardening] if ([space]…[space]) → if (…), for(…) → for (…), while(…) → while (…), [[space]x, y[space]] → [x, y]

2016-04-04 16:22:11 +02:00

ConstraintGraph.h

…

ConstraintGraphScope.h

…

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

…

ConstraintSystem.cpp

AST: Nuke GenericSignature::getCanonicalManglingSignature()

2016-09-06 11:51:14 -07:00

ConstraintSystem.h

[Type Checker] Prevent Path Consistency algorithm from aborting too aggressively

2016-08-26 17:21:04 -07:00

CSApply.cpp

AST: Add some utility methods to GenericSignature

2016-09-06 11:51:12 -07:00

CSDiag.cpp

[QoI] improve diagnostics for contextual members with argument mismatch

2016-08-28 15:59:41 -07:00

CSGen.cpp

Merge pull request #4057 from DougGregor/dictionary-literal-key-fix

2016-08-05 16:21:27 -07:00

CSRanking.cpp

Eliminate the useless flag -enable-experimental-collection-casts.

2016-08-19 21:17:10 -07:00

CSSimplify.cpp

Eliminate the useless flag -enable-experimental-collection-casts.

2016-08-19 21:17:10 -07:00

CSSolver.cpp

Fix typos.

2016-09-01 14:28:12 -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

AST: Introduce new GenericEnvironment class

2016-08-28 13:51:36 -07: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

Sema: Ensure archetypes don't leak through when a local generic function uses a typealias defined in function scope

2016-06-13 00:57:10 -07:00

ITCDecl.cpp

Merge pull request #3747 from CodaFi/circumnavigating-a-graph-in-eighty-days

2016-07-25 18:00:13 -07:00

ITCNameLookup.cpp

…

ITCType.cpp

…

IterativeTypeChecker.cpp

Revert IterativeTypeChecker changes

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

MiscDiagnostics.cpp

Remove EnableSwift3Private staging option.

2016-08-19 21:53:32 -07:00

MiscDiagnostics.h

Check protocol witnesses using access scopes. (#4176)

2016-08-11 14:30:09 -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

[PlaygroundTransform] Don't log the results of functions that return ().

2016-08-24 17:43:57 -07:00

SourceLoader.cpp

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

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

TypeCheckAttr.cpp

Remove EnableSwift3Private staging option.

2016-08-19 21:53:32 -07:00

TypeCheckCaptures.cpp

Murder ExprHandle in cold blood. NFC

2016-09-02 10:39:19 -07:00

TypeCheckConstraints.cpp

Always create initializer contexts for pattern binding entries in non-local scopes.

2016-09-02 10:39:19 -07:00

TypeCheckDecl.cpp

AST: Use the new Type::subst() in a few places

2016-09-08 21:59:13 -07:00

TypeChecker.cpp

[Scope map] Provide scopes for the generic parameters of protocols and extensions.

2016-09-07 16:44:36 -07:00

TypeChecker.h

[noescape-by-default] Diagnostic notes for closure type arguments

2016-09-09 13:00:21 -07:00

TypeCheckError.cpp

[Type checker] If any argument to an application failed to type-check, don’t check the application.

2016-08-23 09:37:21 -07:00

TypeCheckExpr.cpp

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

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

TypeCheckExprObjC.cpp

Eliminate the -enable-id-as-any flag; it's always on now anyway.

2016-08-19 21:17:09 -07:00

TypeCheckGeneric.cpp

AST: Nuke GenericSignature::getCanonicalManglingSignature()

2016-09-06 11:51:14 -07:00

TypeCheckNameLookup.cpp

Sema: Clean up name lookup and fix a couple of bugs

2016-08-09 00:53:30 -07:00

TypeCheckPattern.cpp

Murder ExprHandle in cold blood. NFC

2016-09-02 10:39:19 -07:00

TypeCheckProtocol.cpp

Merge pull request #4654 from jrose-apple/testable-protocol-witnesses

2016-09-07 13:36:53 -07:00

TypeCheckREPL.cpp

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

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

TypeCheckRequest.cpp

…

TypeCheckStmt.cpp

Merge pull request #4609 from DougGregor/scope-map

2016-09-05 22:18:31 -07:00

TypeCheckType.cpp

[TypeChecker] Don't double validate dict types

2016-09-09 13:00:21 -07:00