about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
2011-05-19Eliminate explicit recursion in tstate.states (walk does that now),Tim Chevalier-58/+3
2011-05-19Add ann as an argument to visit_fnTim Chevalier-26/+30
2011-05-19make trans compileTim Chevalier-1/+1
2011-05-19tidy tstate.collect_localsTim Chevalier-28/+3
2011-05-19Rewrite pre_postconditions to use walk instead of foldTim Chevalier-15/+7
2011-05-19Add ident as an argument to visit_fn (typestate wants it)Tim Chevalier-28/+24
2011-05-19Trim importsTim Chevalier-7/+0
2011-05-19remove now-unused ts field from annTim Chevalier-19/+6
2011-05-19Rewrite tstate.annotate to use walk instead of foldTim Chevalier-883/+620
2011-05-19Add visit_fn_pre and visit_fn_post fields to visitorsTim Chevalier-7/+15
2011-05-19Make trans use span_err for the dreaded "ty_var in trans::type_of" errorTim Chevalier-121/+148
2011-05-19add a bunch more logging thingsTim Chevalier-0/+35
2011-05-19Remove dead file (typestate_check is now a bunch of modules under middle/tstate)Tim Chevalier-2377/+0
2011-05-19Beginning of Operation Eliminate FoldsTim Chevalier-37/+42
2011-05-19Fix an error message that reversed the expected and actual number of argument...Tim Chevalier-2/+2
2011-05-19rustc: Generalize variable bindings so that we can use it for locals tooPatrick Walton-39/+42
2011-05-18rustc: Split write_* in typeck into versions that will record fixupsPatrick Walton-137/+163
2011-05-18rustc: Don't inline free gluePatrick Walton-0/+9
2011-05-18rustc: Fix output name of optimized glue when --save-temps is onPatrick Walton-1/+1
2011-05-18Factor free paths out of drop glue, into free glue as in rustboot.Graydon Hoare-122/+184
2011-05-18rustc: Thread statement contexts through unificationPatrick Walton-107/+107
2011-05-18Remove dead code.Rafael Ávila de Espíndola-49/+2
2011-05-18Start checking name collisions in modulesMarijn Haverbeke-26/+75
2011-05-18rustc: Split out type variable fixups from unificationPatrick Walton-37/+40
2011-05-18rustc: Group the variable binding machinery into a separate data structure du...Patrick Walton-29/+33
2011-05-18And yet more dead code.Rafael Ávila de Espíndola-7/+2
2011-05-17rustc: Thread a statement context through the typechecker; use it for generat...Patrick Walton-461/+527
2011-05-17rustc: Don't rebuild the AST when typechecking statementsPatrick Walton-28/+8
2011-05-17rustc: Have typechecking no longer rebuild the ASTPatrick Walton-49/+55
2011-05-17rustc: Run block cleanups on else if blocksBrian Anderson-2/+9
2011-05-17rustc: Remove typeck::check_item_fn(); it's entirely superfluous!Patrick Walton-25/+1
2011-05-17rustc: Make check_const() not rebuild the AST (although it's not called at th...Patrick Walton-4/+1
2011-05-17rustc: Make check_block not rebuild the ASTPatrick Walton-13/+5
2011-05-17rustc: Don't rebuild the AST when writing back localsPatrick Walton-62/+94
2011-05-17rustc: Print the types of declarations in --typed-pretty modePatrick Walton-0/+9
2011-05-17rustc: Pull the type out of the correct expression when typechecking channel ...Patrick Walton-1/+1
2011-05-17rustc: Fix return value of expr_spawn case in pushdown_expr. Should put out s...Patrick Walton-2/+0
2011-05-17rustc: Don't rebuild the AST when typechecking expressionsPatrick Walton-525/+232
2011-05-17rustc: Add a typed pretty-printing mode for debuggingPatrick Walton-14/+60
2011-05-17Fixing compile problems from recent changes.Eric Holk-2/+2
2011-05-17Removing the TODO comment.Eric Holk-4/+0
2011-05-17Added a few more expr_spawn cases so the spawn.rs test case gets a little fur...Eric Holk-0/+17
2011-05-17rustc: Don't rebuild call or bind expressions during typecheckingPatrick Walton-30/+14
2011-05-17rustc: Make return value checking warnings a little prettier. Also introduce ...Patrick Walton-3/+10
2011-05-17rustc: Flatten annotationsPatrick Walton-589/+307
2011-05-17Alias-ify the parser and lexerMarijn Haverbeke-123/+121
2011-05-17Finally rename std::_xxx to std::xxxMarijn Haverbeke-760/+760
2011-05-17Parser fix: 'fail' was eating the next token that came after it.Paul Stansifer-1/+0
2011-05-17Switch pretty printer to new vec syntaxMarijn Haverbeke-3/+4
2011-05-17Return a better result from blocks. Closes issue #377Brian Anderson-0/+3