John McCall bd57e4337c Make TypeCheckError more paranoid in the face of invalid types. ...

I debated making isBodyThrowing() do this, but decided that
(1) the better recovery mode is to assume that the function
can throw but (2) making isBodyThrowing() return true on an
invalid function would be really weird.

Tested by the crash testsuite.

Swift SVN r27902

2015-04-29 02:52:37 +00:00

..

CMakeLists.txt

Sema-based coverage testing for error handling, including try.

2015-04-24 23:00:39 +00:00

CodeSynthesis.cpp

Don't synthesize function bodies after type checking is over; they won't

2015-04-29 02:48:33 +00:00

CodeSynthesis.h

Start parsing 'throws' on initializers.

2015-04-14 22:52:29 +00:00

Constraint.cpp

Sema: Allow ErrorType-conforming types to be explicitly coerced 'as NSError'.

2015-04-04 22:38:04 +00:00

Constraint.h

Sema: Allow ErrorType-conforming types to be explicitly coerced 'as NSError'.

2015-04-04 22:38:04 +00:00

ConstraintGraph.cpp

Update for upstream LLVM changes

2014-11-19 16:49:30 +00:00

ConstraintGraph.h

Eliminate some newly-introduced nondeterminism in the constraint graph.

2014-02-26 06:26:03 +00:00

ConstraintGraphScope.h

Added missing newlines to the end of a few files.

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

ConstraintLocator.cpp

add \n to another debugging dump() method.

2015-04-28 03:41:53 +00:00

ConstraintLocator.h

Implement throw expressions. Untested.

2015-03-23 08:10:15 +00:00

ConstraintSolverStats.def

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

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

ConstraintSystem.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

ConstraintSystem.h

random tidying up, rename the raw_ostream form of

2015-04-28 17:50:24 +00:00

CSApply.cpp

Make sure that we complete any conformances that are used in the AST.

2015-04-29 00:08:27 +00:00

CSDiag.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

CSGen.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

CSRanking.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

CSSimplify.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

CSSolver.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

DerivedConformanceEquatableHashable.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

DerivedConformanceErrorType.cpp

Sema: Handle ErrorType synthesis for empty enums.

2015-04-04 22:37:59 +00:00

DerivedConformanceRawRepresentable.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

DerivedConformances.h

Reimplement inference of type witnesses with a separate non-recursive pass.

2015-04-23 00:20:05 +00:00

GenericTypeResolver.h

Use the archetype builder’s type resolution more directly.

2014-10-10 21:39:08 +00:00

MiscDiagnostics.cpp

Substantially rework CSApply's building of argument lists for calls.

2015-04-27 23:02:09 +00:00

MiscDiagnostics.h

[Accessibility] A private class cannot contain public methods.

2014-07-20 17:26:24 +00:00

NameBinding.cpp

The lookup context for lookupInModule and lookupVisibleDeclsInModule is required.

2015-04-02 02:57:39 +00:00

OverloadChoice.cpp

Record the reason a declaration is potentially unavailable.

2014-09-30 01:53:59 +00:00

OverloadChoice.h

Optional: Replace uses of Nothing with None.

2014-10-02 18:51:42 +00:00

PlaygroundTransform.cpp

Change do-while to repeat-while.

2015-04-23 22:48:31 +00:00

SourceLoader.cpp

Handle consistency checking that requires the entire module.

2014-11-08 06:20:57 +00:00

TypeCheckAttr.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

TypeCheckConstraints.cpp

Move error-handling diagnostics to Sema and check try coverage.

2015-04-29 00:49:40 +00:00

TypeCheckDecl.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

TypeChecker.cpp

Don't synthesize function bodies after type checking is over; they won't

2015-04-29 02:48:33 +00:00

TypeChecker.h

Move error-handling diagnostics to Sema and check try coverage.

2015-04-29 00:49:40 +00:00

TypeCheckError.cpp

Make TypeCheckError more paranoid in the face of invalid types.

2015-04-29 02:52:37 +00:00

TypeCheckExpr.cpp

Add object literal syntax and _{Color,Image}LiteralConvertible protocols

2015-04-20 12:55:56 +00:00

TypeCheckGeneric.cpp

Make sure that we complete any conformances that are used in the AST.

2015-04-29 00:08:27 +00:00

TypeCheckNameLookup.cpp

Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

2015-04-29 00:08:22 +00:00

TypeCheckPattern.cpp

implement <rdar://problem/19786845> Warn on "let" and "var" when no data is bound in a pattern

2015-04-26 04:38:13 +00:00

TypeCheckProtocol.cpp

Make sure that we complete any conformances that are used in the AST.

2015-04-29 00:08:27 +00:00

TypeCheckREPL.cpp

Begin inferring throwing function types for closures. (There's more work to do here - hence the thin tests - but I need to investigate a couple of sema bugs before moving forward.)

2015-04-17 19:06:52 +00:00

TypeCheckStmt.cpp

Move error-handling diagnostics to Sema and check try coverage.

2015-04-29 00:49:40 +00:00

TypeCheckType.cpp

Revert "fix <rdar://problem/17686979> "var" arguments are rejected for @objc conformance"

2015-04-26 23:40:22 +00:00