about summary refs log tree commit diff
path: root/src/comp/syntax/visit.rs
AgeCommit message (Collapse)AuthorLines
2011-07-28The names 'outer' and 'inner' make more sense than 'self' and 'with'.Lindsey Kuper-1/+1
(Also, some formatting and long-string cleanup.)
2011-07-28Change macro syntax to accept a single expr, not a sequence of exprs.Paul Stansifer-1/+1
2011-07-27Reformat for new syntaxMarijn Haverbeke-408/+361
2011-07-26Add 'simple' visiting to visit.rsMarijn Haverbeke-4/+105
2011-07-26Resolve loop collection expressions in the right scopeMarijn Haverbeke-6/+1
Closes #745
2011-07-26Remove tuple support from the compilerMarijn Haverbeke-6/+0
2011-07-25Rename the block type to be blk also. Sorry.Michael Sullivan-2/+2
2011-07-22Start adding support for multiple variable declarations per stmtMarijn Haverbeke-2/+2
This adds parser support and most of the machinery for auto x = 10, y = 20; However, the above still goes wrong somewhere in typestate, causing the state checker to believe only the last variable in the list is initialized after the statement. Tim, if you have a moment, could you go over the changes to the tstate code in this patch and see where I'm going wrong? Multi-var-decls without the typestate extension Add a loop
2011-07-21Remove vestiges of typarams from anon objs.Lindsey Kuper-1/+1
2011-07-19Beginnings of support for constrained typesTim Chevalier-6/+16
Programs with constrained types now parse and typecheck, but typestate doesn't check them specially, so the one relevant test case so far is XFAILed. Also rewrote all of the constraint-related data structures in the process (again), for some reason. I got rid of a superfluous data structure in the context that was mapping front-end constraints to resolved constraints, instead handling constraints in the same way in which everything else gets resolved.
2011-07-13box patterns, expect for the trans partMarijn Haverbeke-0/+1
2011-07-11So... I can't spell 'ellipsis'.Paul Stansifer-1/+1
2011-07-11Add elipses, reorganize the macro components into their own AST node.Paul Stansifer-10/+11
2011-07-11Move macro expansion to a separate phase, change macro syntax, and add ↵Paul Stansifer-2/+4
parse_sess to session.
2011-07-11Add nodes for embedding types and blocks in expressions for macros.Paul Stansifer-0/+6
2011-07-11Visit the type argument in a port expressionTim Chevalier-1/+8
This closes #664.
2011-07-11Implement record patternsMarijn Haverbeke-0/+3
Closes #469.
2011-07-11Move visit to newtype-style nominal typeMarijn Haverbeke-112/+110
This makes getting the function fields out of the visitor less cumbersome and more efficient (no take/drop).
2011-07-11Implement or-patterns in case clausesMarijn Haverbeke-1/+1
You can now say expr_move(?dst, ?src) | expr_assign(?dst, ?src) { ... } to match both expr_move and expr_assign. The names, types, and number of bound names have to match in all the patterns. Closes #449.
2011-07-07rustc: Change lots of AST nodes to use interior vectorsPatrick Walton-7/+7
2011-07-06Simplify AST for expr_anon_obj.Lindsey Kuper-1/+1
2011-07-05Move everything syntax-related to syntax/, break deps on rest of compilerMarijn Haverbeke-0/+407
src/comp/syntax is currently just a sub-module of rustc, but it will, in the near future, be its own crate. This includes: - The AST data structure - The parser - The pretty-printer - Visit, walk, and fold - The syntax extension system - Some utility stuff that should be in the stdlib* *) Stdlib extensions currently require a snapshot before they can be used, and the win build is very broken right now. This is temporary and will be cleaned up when one of those problems goes away. A lot of code was moved by this patch, mostly towards a more organized layout. Some package paths did get longer, and I guess the new layout will take some getting used to. Sorry about that! Please try not to re-introduce any dependencies in syntax/ on any of the other src/comp/ subdirs.