Eli Friedman 4a18a1ca26 Restore a FIXME I accidentally dropped. ...

Swift SVN r1849

2012-05-15 02:21:18 +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

Implement protocol inheritance, e.g.,

2012-05-11 00:00:50 +00:00

NameLookup.cpp

Refactor member and constructor lookup to depend on centralized routines in Module rather than scattering assumptions about how lookup works across Sema. This should make it easier to make changes in the future which affect lookup.

2012-05-15 02:04:53 +00:00

NameLookup.h

Refactor member and constructor lookup to depend on centralized routines in Module rather than scattering assumptions about how lookup works across Sema. This should make it easier to make changes in the future which affect lookup.

2012-05-15 02:04:53 +00:00

TypeCheckCoercion.cpp

Refactor member and constructor lookup to depend on centralized routines in Module rather than scattering assumptions about how lookup works across Sema. This should make it easier to make changes in the future which affect lookup.

2012-05-15 02:04:53 +00:00

TypeCheckDecl.cpp

Remove byref(implicit). Instead, introduce [assignment], which only

2012-05-15 00:55:32 +00:00

TypeChecker.cpp

Now that we have a list of all argument uses in a closure,

2012-03-05 11:23:26 +00:00

TypeChecker.h

Remove byref(implicit). Instead, introduce [assignment], which only

2012-05-15 00:55:32 +00:00

TypeCheckExpr.cpp

Restore a FIXME I accidentally dropped.

2012-05-15 02:21:18 +00:00

TypeCheckOverload.cpp

Remove byref(implicit). Instead, introduce [assignment], which only

2012-05-15 00:55:32 +00:00

TypeCheckPattern.cpp

Ban default values in patterns in semantic analysis. Null out default values from patterns for function signatures, since default values are really part of the type, not the pattern, in that case. Fixes <rdar://problem/11406484>.

2012-05-12 01:53:37 +00:00

TypeCheckProtocol.cpp

Fix member name lookup so the logic is clearer, and so we don't end up with strange results for lookups into metatypes.

2012-05-11 23:30:55 +00:00

TypeCheckStmt.cpp

Switch a couple booleans in Module over to an enum.

2012-05-15 00:20:01 +00:00

TypeCheckType.cpp

Fix missing newline at EOF

2012-05-14 19:19:31 +00:00