averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity
184,205 Commits 623 Branches 2,949 Tags
jgrynspan/windows-GUID-hashable-6.2.1
Commit Graph

21504 Commits

Author SHA1 Message Date
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
John McCall
14aa93a382 Publicize an API for printing out a source location for 
debugging purposes.  Add a PrettyStackTraceLocation for
noting that we're currently processing a fixed location.



Swift SVN r1096
 2012-01-26 00:07:05 +00:00
John McCall
ecb7bbc790 Basic ASTs for pattern-matching. We're going to generate 
these for FuncExpr signatures.



Swift SVN r1095
 2012-01-24 22:27:06 +00:00
Chris Lattner
599e4b2528 switch to using the new llvm::MutableArrayRef class, this requires llvm r148463 
Swift SVN r1088
 2012-01-19 06:39:07 +00:00
Chris Lattner
7c36780e35 sink the 'Init' field from ValueDecl down to VarDecl (as Init) and FuncDecl (as Body), 
liberating the other ValueDecl's from its baggage.


Swift SVN r1079
 2012-01-18 07:34:54 +00:00
Chris Lattner
584ed537fc introduce a new ErrorExpr to represent a subexpression that is semantically 
inconsistent (so it needs to be killed) but that we want to retain source
range information and not kill the entire subtree that contains it.


Swift SVN r1073
 2012-01-18 07:18:57 +00:00
Chris Lattner
167129d0b0 stop using ValueDecl::getInit 
Swift SVN r1070
 2012-01-18 07:01:05 +00:00
Chris Lattner
7d0f7d53f9 improve type safety and specificity a bit, the body of a function is always a FuncExpr. 
Swift SVN r1069
 2012-01-18 06:56:53 +00:00
John McCall
4477b90156 Require creators of initialized TupleTypeElts to provide 
both of the semantically-important fields.  Make the
default constructor trivial, or at least closer to trivial.
Provide a space in TupleTypeElt for the parser to drop in
the ArgDecl corresponding to this element.



Swift SVN r1068
 2012-01-18 06:54:53 +00:00
Chris Lattner
cb80e127a6 improve redefinition diagnostics since all type aliases are definitions, not declarations. 
Swift SVN r1067
 2012-01-18 06:52:15 +00:00
John McCall
ea5e37e276 Getterize uses of TupleTypeElt. I'm trying to figure out how 
parameter attributes should work here.



Swift SVN r1066
 2012-01-18 04:05:25 +00:00
Chris Lattner
1c42e8f6a6 rename DottedNameType to IdentifierType. It captures loc information for random uses of type names, among other things. 
Swift SVN r1064
 2012-01-18 01:52:28 +00:00
Chris Lattner
c8ca11a199 Drop in the new DottedNameType and wire it up in name binding. 
This is horribly hack and slash (but enough to pass all tests) for a few reasons:
- I've #if 0'd out the tendrils of the old code 
- This handles *just* what was handled before instead of being more general
- We don't have an llvm::MutableArrayRef type, so there is some really gross
  const_cast'ing and other struggles to deal with its absence.



Swift SVN r1050
 2012-01-17 06:32:00 +00:00
Chris Lattner
4f8193956d introduce DottedNameType, which will eventually be used for foo.bar in a type context. 
Swift SVN r1049
 2012-01-17 01:55:17 +00:00
Chris Lattner
fab4ef8820 introduce a new OverloadSetRefExpr::createWithCopy method to eliminate 
some redundancy in the code that always has to create an overload set
or a single declrefexpr depending on what various lookups produce.


Swift SVN r1044
 2012-01-14 07:22:25 +00:00
Chris Lattner
f1db6de509 remove the :: token and DCE UnresolvedScopedIdentifierExpr. 
Swift SVN r1043
 2012-01-14 07:00:45 +00:00
Chris Lattner
82bf169d90 implement ModuleType::get. 
Swift SVN r1040
 2012-01-14 06:40:39 +00:00
John McCall
1ec9db43c8 Provide helper methods to look through parentheses. Learning 
from Clang, actually give these explicit high-level behavior
rules so that it's clear what should be added to them in the
future.



Swift SVN r1037
 2012-01-13 10:07:17 +00:00
Chris Lattner
be666df09e introduce a ModuleExpr node. 
Swift SVN r1035
 2012-01-13 05:07:21 +00:00
Chris Lattner
73570ac177 introduce a new ModuleType, which will be the type given to ModuleExpr's. 
Swift SVN r1034
 2012-01-13 04:51:39 +00:00
Chris Lattner
be7d7ffe2c print the members of an overloadsetref_expr. We can handle the truth. 
Swift SVN r1026
 2012-01-12 21:34:58 +00:00
John McCall
59bed696a5 Introduce a ParenExpr to represent the special case of 
a tuple with one element and no labels.  This form is
treated specially in essentially every case, so it might
as well be its own expression kind.



Swift SVN r1021
 2012-01-12 19:55:06 +00:00
Chris Lattner
4c050c0e52 Fix a nasty type checking bug (exposed by my next patch), where we would lose a 
required type conversion in the presence of integer literals and dependent types.


Swift SVN r1016
 2012-01-12 07:16:42 +00:00
Chris Lattner
0ed1f417fd also don't crash on an integer literal type if the type is null, 
which happens before type checking.


Swift SVN r1013
 2012-01-12 06:56:12 +00:00
Chris Lattner
b693da6851 fix -ast-dump to not crash on integer literals with dependent type. 
Swift SVN r1012
 2012-01-12 06:54:31 +00:00
Chris Lattner
1d38f0d0f4 don't abbreviate the AST in -ast-dump, it is more confusing than useful. 
Swift SVN r1011
 2012-01-12 06:30:04 +00:00
Chris Lattner
9f5d37dd2f introduce a new ConstructorCallExpr node, which is sugar node used to represent 
the syntactic form of an argument list applied to a metatype.  Semantically,
this is yet-another ApplyExpr.


Swift SVN r1008
 2012-01-12 05:43:07 +00:00
Doug Gregor
ae11ec70f0 Fix CMake build and sync up exception specifications 
Swift SVN r1007
 2012-01-12 01:08:40 +00:00
Chris Lattner
b01261632a getTypeJudgement() should now work on TypeAliasDecl's. 
Swift SVN r1005
 2012-01-11 07:29:39 +00:00
Chris Lattner
37cb633b12 Change TypeAliasDecl to be a ValueDecl, whose type is MetaTypeType. 
Swift SVN r1004
 2012-01-11 07:13:32 +00:00
Chris Lattner
173df8794d implement the construction for MetaTypeType's and plug a leak of the ParenTypes map. 
Swift SVN r1002
 2012-01-11 06:59:14 +00:00
Chris Lattner
627b055989 MetaTypeType doesn't refer to a oneof anymore, it refers to any named type, 
which means it wraps a TypeAliasDecl.


Swift SVN r1001
 2012-01-11 06:50:24 +00:00
Chris Lattner
e22a30a130 revert r995: "introduce MetaTypeDecl (though nothing creates it yet)". 
After some pondering on this, I can just use DeclRefExpr(TypeAliasDecl) to
represent a named metatype, there is not need to have yet-another decl.  I'm
glad about this, because it didn't seem right.



Swift SVN r999
 2012-01-11 05:42:22 +00:00
Chris Lattner
f204abf010 introduce MetaTypeDecl (though nothing creates it yet) 
Swift SVN r997
 2012-01-06 20:50:56 +00:00
Chris Lattner
527c58f846 implement MetaTypeType, the type system representation of a metatype. 
Swift SVN r996
 2012-01-06 19:51:50 +00:00
John McCall
d559794e73 Introduce a new kind of sugar, ParenType. A tuple with one 
anonymous member is actually one of these.

A func decl is curried over all of its parameter clauses,
as long as they're written without parentheses.  So the body
of a func is the body of the "most curried" function:
  func foo(x:int) -> (y:int) -> int {
    // This is the body of the function that takes 'y'.
    // It returns an int.
  }
  func bar(x:int) -> ((y:int) -> int) {
    // This is the body of the function that takes 'x'.
    // It returns a functon of type (y:int) -> int.
  }



Swift SVN r993
 2012-01-06 04:10:32 +00:00
Chris Lattner
b737b112e7 modernize ProtocolType a bit to follow the form of OneOfType 
Swift SVN r991
 2012-01-05 21:51:48 +00:00
John McCall
b2569c7786 Provide PrettyStackTraceEntries for Expr* and Stmt* as well, 
and type-check functions within the former.



Swift SVN r989
 2011-12-23 03:53:23 +00:00
John McCall
5bdea18fc4 Introduce a PrettyStackTraceEntry implementation for 
processing declarations and use it in debug builds whenever
the tree walker walks into a Decl.



Swift SVN r984
 2011-12-23 01:58:26 +00:00
John McCall
ce9259d2e5 Teach the walker to walk inside ExtensionDecls correctly. 
Causes massive crashes because something else apparently
isn't doing this.  Investigating.



Swift SVN r982
 2011-12-23 01:19:27 +00:00
Chris Lattner
19b7a934a1 rename BuiltinFloatingPointType to BuiltinFloatType. 
Swift SVN r980
 2011-12-23 00:07:58 +00:00
Chris Lattner
320e4747cc Codegen was silently truncating IntegerLiteralExpr's to 64 bits, bad codegen! 
Swift SVN r979
 2011-12-23 00:04:06 +00:00
Chris Lattner
926a3fe671 completely reimplement floating point literals to follow the model of integer literals. 
Among other things, this gives us the amazing power to accept "var x : float = 0.0"



Swift SVN r978
 2011-12-22 23:50:03 +00:00
Chris Lattner
c91c1d9db1 generalize builtin floating point types to support all of the FP types 
that LLVM supports.  The standard library still only exports float and double,
but the swift core should be more general.  Yay for PPC128 :)


Swift SVN r973
 2011-12-22 22:01:07 +00:00
Chris Lattner
33f784d48e zap some #if 0 code accidentally left in 
Swift SVN r970
 2011-12-22 07:45:45 +00:00
Chris Lattner
d525ba5fda simplify builtin type processing by eliminating BuiltinTypeKind. 
Swift SVN r967
 2011-12-22 07:38:17 +00:00
Chris Lattner
6a51dbba34 Remove hard coded list of integer types from ASTContext, making BuiltinIntegerType have a "plus" factory method to create them like other types. 
Swift SVN r966
 2011-12-22 07:07:01 +00:00
Chris Lattner
98c5f5fad4 change BuiltinIntegerType to keep its width as an ivar, eliminating the 
number of switches scattered through the compiler.


Swift SVN r964
 2011-12-22 06:50:34 +00:00
Chris Lattner
8ce4737534 implement "a.b" AST and type checker support. Semantics are that 'a' is evaluated and discard. 'b' is evaluated and returned. 
Swift SVN r950
 2011-12-21 23:49:30 +00:00