354 Commits

Author	SHA1	Message	Date
John McCall	7b29a420f6	Design and implement the [byref] attribute, checking that ... it doesn't appear in places it shouldn't. The only limits on this checking right now is the inadequacy of location information for types, which is something we ought to fix. Fix type-checking of byref applications. Fix IR generation of byref variables. Whole lotta fixin' goin' on. But hey, byref calls work. Swift SVN r1111	2012-02-10 09:42:50 +00:00
John McCall	7f60469fdf	Introduce the notion of a "fully-typed" type, necessary ... because tuple types can have defaulted elements. Check for it and complain in function signatures. Swift SVN r1109	2012-02-07 03:48:23 +00:00
John McCall	ce7780af04	I don't think we're really getting anything out of ArgDecl ... at the moment. We can put it back if I'm wrong. Swift SVN r1100	2012-01-26 02:08:52 +00:00
John McCall	16f8b2e656	Revise the language design for function argument clause syntax. ... A function argument clause is now one or more patterns (which must be parenthesized and explicitly type all positions) not separated by arrows; the first arrow then separates off the return type. Revisions to language reference forthcoming. Swift SVN r1099	2012-01-26 01:25:26 +00:00