Doug Gregor 9f72215bba Basic SIL- and IR-generation support for trivial uses of DynamicSelf. ...

Introduce a new AST node to capture the covariant function type
conversion for DynamicSelf. This conversion differs from the normal
function-conversion expressions because it isn't inherently type-safe;
type safety is assured through DynamicSelf.  

On the SIL side, map DynamicSelf down to the type of the declaring
class to keep the SIL type system consistent. Map the new
CovariantFunctionConversionExpr down to a convert_function
instruction, slightly loosening the constraints on convert_function to
allow for this (it's always been ABI-compatible-only conversions
anyway).

We currently generate awful SIL when calling a DynamicSelf method,
because SILGenApply doesn't know how to deal with the implicit return
type adjustment associated with the covariant function
conversion. That optimization will follow; at least what we have here
is (barely) functional.


Swift SVN r13286

2014-02-01 04:09:00 +00:00

..

_static

Change Swift docs to use Sphinx.

2012-07-23 18:50:00 +00:00

_templates

Change Swift docs to use Sphinx.

2012-07-23 18:50:00 +00:00

proposals

Commit updated 'Failable Initializers' proposal.

2014-01-27 07:18:45 +00:00

scripts

Generate reference-style links when translating NS-HTML to .rst

2013-04-24 11:08:27 +00:00

tools

Introduce a skeletal man page for swift, to satisfy buildit verification.

2013-10-17 15:24:43 +00:00

ABI.rst

Specializer: Give specializations unique symbols and shared linkage.

2014-02-01 03:58:15 +00:00

classes.rst

Finish switching "static" over to "type" in examples, proposals, etc.

2014-01-08 05:28:59 +00:00

CMakeLists.txt

[docs] Fix all ReST/Sphinx warnings, turn sphinx warnings into errors

2013-11-20 23:27:13 +00:00

conf.py

Change docs version to "1.0" to match "Swift 1.0". Copyright is also to Apple.

2013-08-06 06:08:54 +00:00

contents.rst

Initial set of changes to add a new 'swift_driver' executable.

2013-12-06 21:23:01 +00:00

DesignDecisions.rst

Clean up remaining ReST errors in our documentation

2013-07-05 22:52:12 +00:00

doxygen.cfg.in

Update 'union' references in other docs.

2013-09-20 04:41:49 +00:00

doxygen.css

Added code for building swift doxygen documentation.

2013-08-24 09:02:45 +00:00

doxygen.footer

Added code for building swift doxygen documentation.

2013-08-24 09:02:45 +00:00

doxygen.header

Added code for building swift doxygen documentation.

2013-08-24 09:02:45 +00:00

doxygen.intro

Added code for building swift doxygen documentation.

2013-08-24 09:02:45 +00:00

DriverDesign.png

Initial set of changes to add a new 'swift_driver' executable.

2013-12-06 21:23:01 +00:00

DriverInternals.rst

Initial set of changes to add a new 'swift_driver' executable.

2013-12-06 21:23:01 +00:00

Expressions.rst

[docs] Fix all ReST/Sphinx warnings, turn sphinx warnings into errors

2013-11-20 23:27:13 +00:00

GenerateTopLevelLitreCMakeLists.cmake

Fix build system for LitRe tests

2013-03-29 22:58:37 +00:00

Generics Syntax Tradeoffs.rst

[docs] Fix all ReST/Sphinx warnings, turn sphinx warnings into errors

2013-11-20 23:27:13 +00:00

Generics.rst

Change 'def' keyword back to 'func'

2013-11-17 07:45:28 +00:00

Hacking on Swift.rst

Provide a place to collect folk wisdom for implementors.

2013-11-23 00:38:58 +00:00

Import.rst

Finish switching "static" over to "type" in examples, proposals, etc.

2014-01-08 05:28:59 +00:00

LangRef.html

Introduce a short section describing Swift's contextual keywords.

2014-01-08 05:00:28 +00:00

Literals.rst

Finish switching "static" over to "type" in examples, proposals, etc.

2014-01-08 05:28:59 +00:00

LitreTemplate.cmake

Fix build system for LitRe tests

2013-03-29 22:58:37 +00:00

LogicalObjects.rst

Rename 'byref' attribute to 'inout'.

2013-09-25 20:56:52 +00:00

Makefile

[docs] Fix all ReST/Sphinx warnings, turn sphinx warnings into errors

2013-11-20 23:27:13 +00:00

Modules.rst

[docs] Fix all ReST/Sphinx warnings, turn sphinx warnings into errors

2013-11-20 23:27:13 +00:00

ModulesBuild.rst

[docs] Fix all ReST/Sphinx warnings, turn sphinx warnings into errors

2013-11-20 23:27:13 +00:00

MutationModel.rst

move mutability model doc out of proposals since it is basically

2013-12-12 19:30:22 +00:00

Namespace Level Vars and Top Level Code.rst

Change 'def' keyword back to 'func'

2013-11-17 07:45:28 +00:00

Objective-C Interoperability.rst

Rename 'ibaction/iboutlet' attributes to 'IBAction/IBOutlet'.

2013-12-07 00:14:51 +00:00

Pattern Matching.rst

Change 'def' keyword back to 'func'

2013-11-17 07:45:28 +00:00

Resilience.rst

Change 'def' keyword back to 'func'

2013-11-17 07:45:28 +00:00

SIL.rst

Basic SIL- and IR-generation support for trivial uses of DynamicSelf.

2014-02-01 04:09:00 +00:00

StoredAndComputedVariables.rst

it doesn't make any sense for stores within didSet/willSet to trigger the

2014-01-28 05:02:10 +00:00

StringDesign.rst

[stdlib] Rename "Indexable" => "Container"

2014-01-06 22:27:11 +00:00

SwiftCodingStyle.rst

docs: new document: Swift Coding Standards

2013-06-20 17:20:53 +00:00

TextFormatting.rst

[stdlib] Rename Char => UnicodeScalar

2013-12-05 17:30:37 +00:00

toc.js

add missing newlines at end of files.

2012-01-18 01:51:09 +00:00

TypeChecker.rst

Update and improve the discussion of the type checker.

2014-01-27 06:09:37 +00:00

weak.rst

[docs] Fix all ReST/Sphinx warnings, turn sphinx warnings into errors

2013-11-20 23:27:13 +00:00