about summary refs log tree commit diff
path: root/src/comp/syntax/visit.rs
AgeCommit message (Collapse)AuthorLines
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-11-16rustc: Use link_name attribute for native functionHaitao Li-1/+1
Fixes issue #906
2011-10-21Change the way block calls are parsed, mark them as block-calls.Marijn Haverbeke-1/+1
This makes it possible to omit the semicolon after the block, and will cause the pretty-printer to properly print such calls (if pretty-printing of blocks wasn't so broken). Block calls (with the block outside of the parentheses) can now only occur at statement level, and their value can not be used. When calling a block-style function that returns a useful value, the block must be put insde the parentheses. Issue #1054
2011-10-21Drop support for iter, put, and for-eachMarijn Haverbeke-2/+1
Closes #1056
2011-10-20Make fn denote a bare function. Convert fn to fn@ as neededBrian Anderson-56/+56
2011-10-07Parse and typecheck by-value and by-ref arg specsMarijn Haverbeke-14/+14
Add sprinkle && throughout the compiler to make it typecheck again. Issue #1008
2011-09-23Add missing case for pat_uniq to syntax::visitBrian Anderson-0/+1
Issue #409
2011-09-20Represent unique creation as a unop in the AST instead of its own exprBrian Anderson-1/+0
Like the box unop. Issue #409
2011-09-20Parse unique box typesBrian Anderson-0/+1
Issue #409
2011-09-15Add representation for by-ref let bindingsMarijn Haverbeke-1/+1
Issue #918
2011-09-12Factor imports mindlessly.Graydon Hoare-2/+1
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-83/+83
Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit.
2011-09-02Rename ty_istr to ty_str. Issue #855Brian Anderson-1/+1
2011-09-01Remove lots of estr code from rustc. Issue #855Brian Anderson-1/+0
2011-08-30Stop relying on klunky hack in alias.rsMarijn Haverbeke-1/+1
It assumed node_ids increased monotonically for locals, but macros make this no longer the case, and it was a dubious assumption anyway. It now numbers locals itself and uses that to determine which precede which.
2011-08-22Implement pattern guardsMarijn Haverbeke-0/+1
The syntax is alt x { mypat where mycond { ... } } The condition may refer to any of the variables bound by the pattern. When a guard fails, pattern-matching continues with the next pattern. Closes #857
2011-08-20ReformatBrian Anderson-44/+37
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-18Change ast::ty_ivec, ty::ty_ivec to ty_vecBrian Anderson-1/+1
2011-08-18Remove ast::ty_vecBrian Anderson-1/+0
2011-08-18Remove seq_kind from ast::expr_vecBrian Anderson-1/+1
2011-08-18Remove or _-prefix all unused function argumentsMarijn Haverbeke-21/+21
This should make the compilation process a bit less noisy.
2011-08-16Port the compiler to the expr foo::<T> syntax.Erick Tryzelaar-14/+14
2011-08-16Port the compiler to foo<T> decl syntax.Erick Tryzelaar-23/+23
2011-08-16Port the compiler to the typaram foo<T> syntax.Erick Tryzelaar-53/+53
2011-08-16Removing tasks, ports and chans from the compiler.Eric Holk-8/+0
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-31/+31
2011-08-15Add operator 'copy', translates as fall-through.Graydon Hoare-0/+1
2011-08-15Rename a field (so that macros can mention it).Paul Stansifer-1/+1
2011-08-15rustc: Parse and typecheck unique pointersPatrick Walton-0/+1
2011-08-15Add tuple patternsMarijn Haverbeke-0/+3
2011-08-15Tuple fields are immutableMarijn Haverbeke-3/+3
2011-08-15Tuple types back, not constructable yetMarijn Haverbeke-0/+6
2011-08-10Introduce a ty_infer ast node and use it instead of option::t[ty].Michael Sullivan-6/+3
This actually basically makes things worse, since we get less nice type system guarentees but it will make doing type inferred blocks a fair deal less painful. I'm not /really/ happy about this...
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-7/+7
2011-08-01Partially implement destructuring localsMarijn Haverbeke-0/+1
You can now say let {bcx, val} = some_result_returner(); Similar for loop variables. Assigning to such variables is not safe yet. Function arguments also remain a TODO.
2011-07-29Remove support for obj dtorsMarijn Haverbeke-7/+0
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.