Commit Graph

4421 Commits

Author SHA1 Message Date
Dave Abrahams
17f5afe76f valref.rst: fix typos (thanks, Joe!)
Swift SVN r4425
2013-03-18 21:12:56 +00:00
Dave Abrahams
dd55eaeb9f valref.rst: rewrite section on extracting a ref from a class val
Swift SVN r4424
2013-03-18 21:04:12 +00:00
Dave Abrahams
da8f1301f5 valref.rst: rewrite section on structs with reference semantics
Swift SVN r4423
2013-03-18 21:04:11 +00:00
Dave Abrahams
63f48f8299 valref.rst: language tweak
Swift SVN r4422
2013-03-18 21:04:10 +00:00
Dave Abrahams
b2eb796e55 valref.rst: elaboration on array syntax
Swift SVN r4421
2013-03-18 21:04:09 +00:00
Dave Abrahams
12abc4d1b9 valref.rst: separate out section on standalone types
Swift SVN r4420
2013-03-18 21:04:08 +00:00
Dave Abrahams
24811ddfa3 valref.rst: whitespace cleanup
Swift SVN r4419
2013-03-18 21:04:07 +00:00
Dave Abrahams
3b1a81108f valref.rst: syntax for standalone types
Swift SVN r4418
2013-03-18 21:04:06 +00:00
Dave Abrahams
6a5f2af6ba valref.rst: Add new section
Swift SVN r4417
2013-03-18 21:04:05 +00:00
Dave Abrahams
7251fa289b valref.rst: WIP
Swift SVN r4415
2013-03-18 18:52:19 +00:00
Dave Abrahams
bd21770109 valref.rst: Embedded some task assignments
Swift SVN r4414
2013-03-18 18:52:18 +00:00
Dave Abrahams
2e755d2410 valref.rst: updated array type syntax
Swift SVN r4413
2013-03-18 18:52:17 +00:00
Joe Groff
9da0f893e5 SIL: Add address_to_pointer instruction.
Make converting a SIL address to a Builtin.RawPointer its own instruction separate from implicit_convert, which will let me get rid of a goofy edge case in IRGenSIL.

Swift SVN r4412
2013-03-18 03:14:24 +00:00
Joe Groff
9bfd11179f valref.rst: Some words about ObjC interop.
Swift SVN r4411
2013-03-17 20:07:47 +00:00
Joe Groff
3eb2b132eb LangRef: Describe 'if' expressions.
Swift SVN r4409
2013-03-17 18:39:08 +00:00
Dave Abrahams
205dc1ff04 valref.rst: WIP
Swift SVN r4405
2013-03-16 01:02:11 +00:00
Dave Abrahams
cefcec73af valref.rst: WIP
Swift SVN r4404
2013-03-16 00:57:37 +00:00
Dave Abrahams
a9a791e90a valref.rst: WIP
Swift SVN r4403
2013-03-16 00:33:31 +00:00
Dave Abrahams
21ba93ebc1 valref.rst: WIP
Swift SVN r4402
2013-03-16 00:27:24 +00:00
Dave Abrahams
0826d7049a valref.rst: WIP
Swift SVN r4401
2013-03-15 22:59:56 +00:00
Dave Abrahams
39d18da8c3 valref.rst: updates on non-copyability
Swift SVN r4400
2013-03-15 22:59:55 +00:00
Dave Abrahams
1468ecb716 Re-add Cloneable proposal
Swift SVN r4399
2013-03-15 22:37:46 +00:00
Dave Abrahams
40c330c28b valref.rst: WIP
Swift SVN r4398
2013-03-15 22:23:52 +00:00
Dave Abrahams
3feb30643e valref.rst: WIP
Swift SVN r4397
2013-03-15 22:23:51 +00:00
Dave Abrahams
2e2e2d5717 WIP on comprehensive value semantics proposal
valref.rst is the proposal currently in progress

ValueSemantics.rst is an early description of the problem.  We'll
probably want some material from here for introduction in valref.rst

Swift SVN r4396
2013-03-15 22:23:50 +00:00
Dave Abrahams
ef10a7d71d Reverting commits that should have gone in the value-semantics branch
Swift SVN r4387
2013-03-15 20:49:51 +00:00
Dave Abrahams
c51edd732f WIP on comprehensive value semantics proposal
valref.rst is the proposal currently in progress

ValueSemantics.rst is an early description of the problem.  We'll
probably want some material from here for introduction in valref.rst

Swift SVN r4384
2013-03-15 20:33:36 +00:00
Dave Abrahams
b7367cfbc8 Add Cloneable proposal
Swift SVN r4383
2013-03-15 20:33:35 +00:00
Doug Gregor
891801d8e4 Add note about marking Cocoa APIs that take references to objects but don't retain them.
Swift SVN r4371
2013-03-14 22:38:00 +00:00
Joe Groff
08bb23391e LangRef: Describe 'switch'.
Swift SVN r4362
2013-03-12 23:03:34 +00:00
Joe Groff
4437c65178 SIL: Add uncurry level to SILType.
We want to port CallEmission to the SIL level to handle uncurrying, but IRGen needs to have the original signature of a function available to it so that it can maintain the correct calling convention for different ABIs independent of SIL. Instead of flattening curried function types in SIL and losing that information, add an uncurryLevel to SILType so it can represent the type of an entry point at a given uncurry level. Unfortunately, this makes SILType outgrow a single word, so the way Value unions SILType and SILTypeList folding sets needs to be tweaked too.

Swift SVN r4345
2013-03-09 00:53:14 +00:00
Joe Groff
292f44af20 SILGen: Make address-only calling conv caller-copy
This is more in line with how IRGen currently behaves and with how loadable values are passed, and will make optimization of address-only functions easier.

Swift SVN r4343
2013-03-08 19:32:58 +00:00
Joe Groff
9703629f89 SIL.rst: Clean up some language.
Swift SVN r4329
2013-03-08 01:00:41 +00:00
Joe Groff
a44af3da9c SIL.rst: Describe some additional needed insns.
We need 'class_method' and 'super_method' to represent dynamic dispatch on class methods. We also need 'class_metatype' and 'existential_metatype' to obtain the runtime metatypes of class instances and existential containers.

Swift SVN r4321
2013-03-07 21:13:33 +00:00
Joe Groff
5e831ec2fe SIL.rst: Describe intended 'zero_addr' behavior.
zero_addr^Winitialize_var is a thing that should be magicked away either by turning subsequent assignments into initializations or by becoming a default constructor call. I don't think we need zero_value because 'initialize' pseudo-values should always originate from memory locations.

Swift SVN r4318
2013-03-07 18:38:23 +00:00
Doug Gregor
4aa6abd9c8 Extend message-send syntax to new expressions and super.constructor expressions.
For example, this allows:
var window = new NSWindow.(initWithContentRect:NSRect(100, 100, 800, 630)
                                     styleMask:Int(NSTitledWindowMask|NSClosableWindowMask|NSResizableWindowMask)
                                       backing:NSBackingStoreType(NSBackingStoreBuffered)
                                         defer:false)


Swift SVN r4315
2013-03-07 04:43:22 +00:00
Doug Gregor
adcd9d91b9 Implement selector argument syntax for method calls.
Introduce a second syntax for method calls that better describes
messages with multiple selector pieces, e.g.,

    undoManager.(registerUndoWithTarget:this
                               selector:"setItemName:"
                                 object:nameSetter)

Note that we're also allowing ':' as a separator for normal keyword
arguments. The intent is to drop the use of '=' for normal keyword
arguments, but that will be a separate change affecting a number of
test cases.



Swift SVN r4313
2013-03-07 02:01:20 +00:00
Dave Abrahams
0951927a7c Fix typos ("- >" becomes "->")
Swift SVN r4290
2013-03-06 00:02:08 +00:00
Dave Zarzycki
68c6d4c6e3 13324820 Change tuple accessor syntax to 'tuple.0'
Swift SVN r4265
2013-03-02 17:51:03 +00:00
Joe Groff
7c2371d9a3 CMake: Don't spew Sphinx warnings.
Swift SVN r4263
2013-03-02 17:17:38 +00:00
Joe Groff
a2cb749bad CMake: Add docs; install LangRef, whitepaper.
Integrate Sphinx generation with the CMake build, and add LangRef and the HTML whitepaper to the installation.

Swift SVN r4258
2013-03-01 22:57:37 +00:00
Dave Zarzycki
9d777dfad7 Revert \a, \b, \f
This branch should have been committed a long time ago. Sorry.

Swift SVN r4256
2013-03-01 22:36:19 +00:00
Dave Abrahams
52ab572ef5 Fix English grammar
Swift SVN r4241
2013-02-28 22:27:34 +00:00
Doug Gregor
37e7bc3f3f Note that we'll need to mark designated initializers in ObjectiveC
Swift SVN r4224
2013-02-27 18:29:06 +00:00
Doug Gregor
499ac520c2 Some roadmap tweaks based on comments
Swift SVN r4119
2013-02-20 22:45:37 +00:00
Joe Groff
f262964c52 ABI: Fix some inaccuracies.
The production for 'nominal-type' is not an 'entity' because the type of the type is not redundantly mangled as part of the name. Our mangling can't represent nested modules yet, so update the substitutions example to talk about nested classes instead. Move the docs for known-module and known-nominal-type together with that for substitutions because they are essentially special-case substitutions.

Swift SVN r4094
2013-02-20 01:41:05 +00:00
Chris Lattner
93983dc5dc some random cruft for a randomly crufty document.
Swift SVN r4087
2013-02-19 21:53:47 +00:00
Chris Lattner
076e035c4f add a wishlist to the roadmap, fix a typo in Generics.rst
Swift SVN r4076
2013-02-18 20:27:07 +00:00
Joe Groff
f47984e82b Roadmap: Pile on some feature requests.
You asked for it.

Swift SVN r4062
2013-02-16 20:07:45 +00:00
Joe Groff
c3917ad4ef LangRef: Tweak generics language.
Swift SVN r4055
2013-02-15 20:17:42 +00:00