Eli Friedman d61b7bf2a2 Move the REPL-specific type-checking code into its own file. ...

Swift SVN r2099

2012-05-31 22:27:25 +00:00

..

CaptureAnalysis.cpp

Use VarDecls to represent struct members, and MemberRefExprs to represent member access in structs. Eliminate the horrible hack which was LookThroughOneOfExpr.

2012-05-11 03:08:15 +00:00

CMakeLists.txt

Implement support for coercing a value of a given type T to a protocol

2012-05-10 18:55:30 +00:00

Makefile

forgot to svn add this.

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

NameBinding.cpp

Start shuffling around code for name binding on values; with the proposed shadowing rules, we need to delay name binding on values until after some parts of type-checking.

2012-05-23 00:42:53 +00:00

NameLookup.cpp

Introduce TypeBase::isExistentialType(), to determine whether a given

2012-05-31 00:26:13 +00:00

NameLookup.h

Introduce ExistentialMemberRefExpr for references to the members of

2012-05-23 23:06:34 +00:00

TypeCheckCoercion.cpp

Introduce TypeBase::isExistentialType(), to determine whether a given

2012-05-31 00:26:13 +00:00

TypeCheckDecl.cpp

Make oneofs never implicitly generate an ExtensionDecl. This matters for local oneofs.

2012-05-31 21:20:56 +00:00

TypeChecker.cpp

Introduce ExistentialMemberRefExpr for references to the members of

2012-05-23 23:06:34 +00:00

TypeChecker.h

Move the REPL-specific type-checking code into its own file.

2012-05-31 22:27:25 +00:00

TypeCheckExpr.cpp

Introduce TypeBase::isExistentialType(), to determine whether a given

2012-05-31 00:26:13 +00:00

TypeCheckOverload.cpp

spacing fix.

2012-05-26 21:32:11 +00:00

TypeCheckPattern.cpp

Make sure we delay type-checking for default values in tuples if the tuple specifies the type of a global.

2012-05-23 01:57:07 +00:00

TypeCheckProtocol.cpp

Introduce TypeBase::isExistentialType(), to determine whether a given

2012-05-31 00:26:13 +00:00

TypeCheckREPL.cpp

Move the REPL-specific type-checking code into its own file.

2012-05-31 22:27:25 +00:00

TypeCheckStmt.cpp

Move the REPL-specific type-checking code into its own file.

2012-05-31 22:27:25 +00:00

TypeCheckType.cpp

Introduce TypeBase::isExistentialType(), to determine whether a given

2012-05-31 00:26:13 +00:00