averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
194,977 Commits 622 Branches 2,942 Tags
coro-ast-no-diff
Commit Graph

937 Commits

Author SHA1 Message Date
Chris Lattner
ed7b06c6ff Move semantic analysis of scoped identifiers (x::a) to typechecking, allowing forward referencing of types. This introduces a new UnresolvedScopedIdentifierExpr node to represent the unresolved form. 
Swift SVN r334
 2011-03-26 22:35:05 +00:00
Chris Lattner
6950fa6a2c Improve expr dumping to not crash on null exprs, print the Arg# for anonexprs. 
Swift SVN r300
 2011-03-21 21:54:34 +00:00
Chris Lattner
3a57e3f661 Reimplement the SemaExpressionTree expression walking logic in terms of Expr->WalkExpr, which already has it. Enhance WalkExpr to allow skipping visitation of subtrees. No functionality change. 
Swift SVN r279
 2011-03-17 06:39:02 +00:00
Chris Lattner
6ab4eec127 Two changes that got mixed up: 
#1: Change type conversion errors to print the types involved, making the diagnostic better.  We still don't have ranges, but it is progress.

#2: Reimplement support for anonymous closure arguments (e.g. func($0+$1)) where func takes a closure, step #1.
 - This removes AnonDecl, replacing it with AnonClosureArgExpr.  $0 and friends have to be expressions since they don't get a type and don't get resolved until TypeChecking.
 - For now we just replace the existing broken support, a future step is to implement type checking support for them.


Swift SVN r278
 2011-03-17 06:09:19 +00:00
Chris Lattner
71eb272b4a Build AST nodes for references to unresolved names. These can be resolved after parse time. 
Swift SVN r258
 2011-03-07 00:12:38 +00:00
Chris Lattner
7bbe52b52a Expand the swift language to allow typealiases, oneof, and struct within a brace expression. This allows us to have shadowing of type names. 
Swift SVN r236
 2011-02-22 07:41:44 +00:00
Chris Lattner
50b3fcc3d1 Switch TupleType to hold its elements with an llvm::ArrayRef instead of manually doing it. 
Swift SVN r235
 2011-02-22 07:15:54 +00:00
Chris Lattner
e488b69182 Implement sema support for TupleExprs with default elements (represented with null), implement support for conversions from scalar to tuples with multiple default elements. 
Swift SVN r220
 2010-11-25 23:02:23 +00:00
Chris Lattner
906ba908fd Rename 'data' to 'oneof', resolving a fixme in the spec. Yay for CLU! 
Swift SVN r212
 2010-11-11 01:20:36 +00:00
Chris Lattner
6f7564235d Wire up sema support for creating array types. 
Swift SVN r207
 2010-10-17 13:12:47 +00:00
Chris Lattner
bffee378d2 Generalize the expression walker to allow rewrites to be implemented. 
Swift SVN r191
 2010-10-10 06:19:16 +00:00
Chris Lattner
a885cd5dc5 Diagnose completely unresolved expressions with an error like this: 
data.swift:114:10: error: ambiguous expression could not resolve a concrete type
var xx = :Zero;
         ^

Do this with a very general pre/post-order walking function.

Swift SVN r190
 2010-10-10 06:11:47 +00:00
Chris Lattner
272cbcaba3 Implement parser, ast and minimal sema support for :foo expressions, type resolution isn't done yet. 
Swift SVN r185
 2010-10-10 00:15:46 +00:00
Chris Lattner
57c697172a Split NamedDecl into NamedDecl with a ValueDecl subclass that has the type and value of the decl. 
Swift SVN r173
 2010-10-09 20:28:11 +00:00
Chris Lattner
91f5abd1e9 Implement parser support for assignment, what a hack :-) 
Swift SVN r166
 2010-09-18 17:26:01 +00:00
Chris Lattner
a8916a6106 implement semantic analysis and AST representation for AliasType (aka typedefs in C). 
Swift SVN r144
 2010-08-04 05:14:57 +00:00
Chris Lattner
04f7a08621 add support for tuple field access with ".", e.g.: 
var a : (int, var f : int, int);
  var b = a.field0+a.field1+a.f;

This also eliminates TupleConvertExpr.

Swift SVN r137
 2010-08-03 06:55:08 +00:00
Chris Lattner
7a5b428772 start reworking tuple compatibility: two different tuples aren't compatible because their canonical type is the same, they are compatible because one can be converted to the other. I'm just going to rip out canonical type support for now. 
Swift SVN r133
 2010-08-03 04:17:26 +00:00
Chris Lattner
422da5de1f Give _0 a dependent type and use type inference to determine what it is based on context. Still some "bottom up" type inference logic missing, and we don't infer all the types in the expression tree of things like: 
func6((_0 4) + _0);

yet.


Swift SVN r121
 2010-07-30 22:04:44 +00:00
Chris Lattner
1a9f102090 switch expression printing over to use a visitor instead of hand rolled dispatch. 
Swift SVN r120
 2010-07-30 21:08:58 +00:00
Chris Lattner
667078650a Implement support for anonymous closure arguments. For example, we can now compile this: 
var func6 : ((int,int) -> int) -> ();  // Takes a function, returns nothing.
func funcdecl5() {
  func6(_0 + _1);         // Closure with two named anonymous arguments
}
into:

  (apply_expr type='()'
    (declref_expr type='(int, int) -> int -> ()' decl=func6)
    (closure_expr type='(int, int) -> int'
     (anondecl '_0' type='int')
     (anondecl '_1' type='int')
     (tuple_expr type='int'
      (binary_expr '+' type='int'
       (declref_expr type='int' decl=_0)
       (declref_expr type='int' decl=_1))))))))

However, there are still some problems with this (and we're definitely not doing type inference yet, all anon args are assumed 'int').

Swift SVN r111
 2010-07-28 06:25:16 +00:00
Chris Lattner
9d33ef3616 add infrasturctuer for binding to "named anonymous" arguments. 
Swift SVN r108
 2010-07-27 21:37:29 +00:00
Chris Lattner
874421d4ce Implement AST and Sema support for auto-closures. We now parse: 
var closure1 : () -> int = 4;  // Function producing 4 whenever it is called.
var closure2 : (int,int) -> int = 4; // Has some (dead) arguments.

into:

(vardecl 'closure1' type='() -> int'
 (closure_expr type='() -> int'
  (integer_literal type='int' value=4)))
(vardecl 'closure2' type='(int, int) -> int'
 (closure_expr type='(int, int) -> int'
  (integer_literal type='int' value=4)))


Swift SVN r101
 2010-07-27 06:27:02 +00:00
Chris Lattner
da8a6af90a add a new expression to model sequences instead of hacking up braceexpr to do it. 
Swift SVN r94
 2010-07-25 23:22:29 +00:00
Chris Lattner
7e0123c768 Kill off add/sub/mul/div as special AST nodes. Instead, + is just yet-another identifier token and BinaryExpr is a generalized infix call expression. 
Swift SVN r88
 2010-07-25 19:16:45 +00:00
Chris Lattner
12fa92e146 Add a new ApplyExpr expression AST node for function application. 
Swift SVN r85
 2010-07-25 05:37:45 +00:00
Chris Lattner
9b42d1b273 enhance parenexpr to be tupleexpr. The grouping paren case is just a special case of a tuple literal with one child. 
Swift SVN r81
 2010-07-24 21:24:44 +00:00
Chris Lattner
2bafb0e8fb Introduce new NamedDecl and FuncDecl classes. The difference between the two is syntactic sugar, so most clients want NamedDecl. This doesn't implement FuncDecl yet, which isn't a high prio for me in the short term. 
Swift SVN r77
 2010-07-24 19:09:09 +00:00
Chris Lattner
64ecbb8a9c Implement AST and trivial Sema support for brace expressions. 
Swift SVN r70
 2010-07-23 19:39:51 +00:00
Chris Lattner
58185415a1 now that we have name lookup, we can implement references to 
other values.  crazzay.


Swift SVN r67
 2010-07-23 05:48:20 +00:00
Chris Lattner
a860fe44db implement support for printing types, add them to -ast-dump 
Swift SVN r58
 2010-07-22 06:33:03 +00:00
Chris Lattner
34602d5d22 Make Expr::Kind public. 
Swift SVN r57
 2010-07-22 06:10:31 +00:00
Chris Lattner
c363b58ea1 Introduce TupleType, an AST representation of tuples. 
Swift SVN r49
 2010-07-22 01:58:01 +00:00
Chris Lattner
f7c8e53359 implement isa/dyncast and dumping support for exprs. 
We can now parse and print this:
var x3 = 4+5*4+12/97;

into:
(vardecl 'x3'
 (binary_expr
  (binary_expr
   (integer_literal 4)
   (binary_expr
    (integer_literal 5)
    (integer_literal 4)))
  (binary_expr
   (integer_literal 12)
   (integer_literal 97))))




Swift SVN r46
 2010-07-19 06:52:08 +00:00
Chris Lattner
f36e4aa921 introduce Type ast node. 
Swift SVN r33
 2010-07-19 04:33:59 +00:00
Chris Lattner
66199fa090 implement a new IntegerLiteral ast node, add plumbing for 
allocation of exprs from ASTContext.


Swift SVN r28
 2010-07-19 00:42:30 +00:00
Chris Lattner
d3756f2627 Sketch out the new AST library, lets start with expressions. 
Swift SVN r25
 2010-07-19 00:05:11 +00:00