Joe Groff ade9e3395a SIL.rst: Update per discussion with Chris and John ...

- Tighten up terminology, for instance, define what a "box" actually is
- Describe how operands can have zero, one, or many values
- Describe that only %operands are valid operands and loading constants, ints, and other literals requires distinct insns
- Make releasing a reftype and destroying a value distinct
- Describe how stack allocation of boxes and reftypes work
- Name address-only type operations `destroy_addr` and `copy_addr` to avoid confusion with rvalue operations
- Describe the full set of aggregate manipulation functions
- Clean up instruction notation to avoid ambiguities
- Throw in notes about things we need to design at some point

Swift SVN r3211

2012-11-16 22:38:37 +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

2c - Expressions.rst

Change Swift docs to use Sphinx.

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

3 - Simple User Defined Datatypes (enum:union:struct).rst

Change Swift docs to use Sphinx.

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

4 - Program Structure and Compilation Model.rst

Change Swift docs to use Sphinx.

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

5 - Memory and Ownership Model.rst

Change Swift docs to use Sphinx.

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

6 - Memory and Concurrency Model.rst

Change Swift docs to use Sphinx.

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

7 - Memory and Error Handling Model.rst

Change Swift docs to use Sphinx.

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

ABI.rst

Metatypes of (metatypes of)* class types have a

2012-11-14 08:45:06 +00:00

classes.rst

Add the ObjC selector proposal to the classes docs.

2012-10-09 03:00:20 +00:00

conf.py

Change Swift docs to use Sphinx.

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

contents.rst

Start documenting the constraint-based type checker. There is still

2012-10-05 01:23:24 +00:00

DesignDecisions.rst

add a place to dump outcomes of random design discussions.

2012-08-03 20:41:00 +00:00

Generics.rst

Comparable implies Equality

2012-11-14 01:37:00 +00:00

LangRef.html

Implement selector-style function definition syntax.

2012-11-01 21:53:15 +00:00

LogicalObjects.rst

Change Swift docs to use Sphinx.

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

Makefile

Change Swift docs to use Sphinx.

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

Namespace Level Vars and Top Level Code.rst

Change Swift docs to use Sphinx.

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

Objective-C Interoperability.rst

Record the decisions made at Monday's meeting about ObjC Interoperability.

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

Pattern Matching.rst

Minor formatting fixes.

2012-09-21 02:16:08 +00:00

Resilience.rst

Change Swift docs to use Sphinx.

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

SIL.rst

SIL.rst: Update per discussion with Chris and John

2012-11-16 22:38:37 +00:00

swiftlib.numbers

Change the library feature list table from html to Numbers format.

2012-06-28 22:34:43 +00:00

toc.js

add missing newlines at end of files.

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

TypeChecker.rst

Comparable implies Equality

2012-11-14 01:37:00 +00:00

TypeState.rst

Change Swift docs to use Sphinx.

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