| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-05-19 | Eliminate explicit recursion in tstate.states (walk does that now), | Tim Chevalier | -58/+3 | |
| and kill dead code. | ||||
| 2011-05-19 | Add ann as an argument to visit_fn | Tim Chevalier | -26/+30 | |
| 2011-05-19 | make trans compile | Tim Chevalier | -1/+1 | |
| 2011-05-19 | tidy tstate.collect_locals | Tim Chevalier | -28/+3 | |
| 2011-05-19 | Rewrite pre_postconditions to use walk instead of fold | Tim Chevalier | -15/+7 | |
| 2011-05-19 | Add ident as an argument to visit_fn (typestate wants it) | Tim Chevalier | -28/+24 | |
| 2011-05-19 | Trim imports | Tim Chevalier | -7/+0 | |
| 2011-05-19 | remove now-unused ts field from ann | Tim Chevalier | -19/+6 | |
| 2011-05-19 | Rewrite tstate.annotate to use walk instead of fold | Tim Chevalier | -883/+620 | |
| and various other tidying in typestate | ||||
| 2011-05-19 | Add visit_fn_pre and visit_fn_post fields to visitors | Tim Chevalier | -7/+15 | |
| Added visit_fn_pre and visit_fn_post fields that get applied to both regular functions and methods. | ||||
| 2011-05-19 | Make trans use span_err for the dreaded "ty_var in trans::type_of" error | Tim Chevalier | -121/+148 | |
| This required quite a bit of tiresome plumbing about of spans. On the bright side, now other errors can be converted to span_err too. Includes test cases. | ||||
| 2011-05-19 | add a bunch more logging things | Tim Chevalier | -0/+35 | |
| 2011-05-19 | Remove dead file (typestate_check is now a bunch of modules under middle/tstate) | Tim Chevalier | -2377/+0 | |
| 2011-05-19 | Beginning of Operation Eliminate Folds | Tim Chevalier | -37/+42 | |
| Started by rewriting collect_locals to use walk instead of fold | ||||
| 2011-05-19 | Fix an error message that reversed the expected and actual number of ↵ | Tim Chevalier | -2/+2 | |
| arguments in a pattern | ||||
| 2011-05-19 | rustc: Generalize variable bindings so that we can use it for locals too | Patrick Walton | -39/+42 | |
| 2011-05-18 | rustc: Split write_* in typeck into versions that will record fixups | Patrick Walton | -137/+163 | |
| 2011-05-18 | rustc: Don't inline free glue | Patrick Walton | -0/+9 | |
| 2011-05-18 | rustc: Fix output name of optimized glue when --save-temps is on | Patrick Walton | -1/+1 | |
| 2011-05-18 | Factor free paths out of drop glue, into free glue as in rustboot. | Graydon Hoare | -122/+184 | |
| 2011-05-18 | rustc: Thread statement contexts through unification | Patrick Walton | -107/+107 | |
| 2011-05-18 | Remove dead code. | Rafael Ávila de Espíndola | -49/+2 | |
| 2011-05-18 | Start checking name collisions in modules | Marijn Haverbeke | -26/+75 | |
| (And remove a boatload of duplicate imports from the typestate files.) Name collision checking in local scopes will follow soon. | ||||
| 2011-05-18 | rustc: Split out type variable fixups from unification | Patrick Walton | -37/+40 | |
| 2011-05-18 | rustc: Group the variable binding machinery into a separate data structure ↵ | Patrick Walton | -29/+33 | |
| during unification | ||||
| 2011-05-18 | And yet more dead code. | Rafael Ávila de Espíndola | -7/+2 | |
| 2011-05-17 | rustc: Thread a statement context through the typechecker; use it for ↵ | Patrick Walton | -461/+527 | |
| generating variable IDs. 40% typechecking speedup. | ||||
| 2011-05-17 | rustc: Don't rebuild the AST when typechecking statements | Patrick Walton | -28/+8 | |
| 2011-05-17 | rustc: Have typechecking no longer rebuild the AST | Patrick Walton | -49/+55 | |
| 2011-05-17 | rustc: Run block cleanups on else if blocks | Brian Anderson | -2/+9 | |
| With the scheme used to translate 'else if' currently the if expression is translated in a new (else) scope context. If that if expression wants to result in a value that requires refcounting then it will need to drop the refcount in the cleanups of the else block. | ||||
| 2011-05-17 | rustc: Remove typeck::check_item_fn(); it's entirely superfluous! | Patrick Walton | -25/+1 | |
| 2011-05-17 | rustc: Make check_const() not rebuild the AST (although it's not called at ↵ | Patrick Walton | -4/+1 | |
| the moment!) | ||||
| 2011-05-17 | rustc: Make check_block not rebuild the AST | Patrick Walton | -13/+5 | |
| 2011-05-17 | rustc: Don't rebuild the AST when writing back locals | Patrick Walton | -62/+94 | |
| 2011-05-17 | rustc: Print the types of declarations in --typed-pretty mode | Patrick Walton | -0/+9 | |
| 2011-05-17 | rustc: Pull the type out of the correct expression when typechecking channel ↵ | Patrick Walton | -1/+1 | |
| types. Puts out burning tinderbox. | ||||
| 2011-05-17 | rustc: Fix return value of expr_spawn case in pushdown_expr. Should put out ↵ | Patrick Walton | -2/+0 | |
| soon-to-be-burning tinderbox. | ||||
| 2011-05-17 | rustc: Don't rebuild the AST when typechecking expressions | Patrick Walton | -525/+232 | |
| 2011-05-17 | rustc: Add a typed pretty-printing mode for debugging | Patrick Walton | -14/+60 | |
| 2011-05-17 | Fixing compile problems from recent changes. | Eric Holk | -2/+2 | |
| 2011-05-17 | Removing the TODO comment. | Eric Holk | -4/+0 | |
| 2011-05-17 | Added a few more expr_spawn cases so the spawn.rs test case gets a little ↵ | Eric Holk | -0/+17 | |
| further before failing. | ||||
| 2011-05-17 | rustc: Don't rebuild call or bind expressions during typechecking | Patrick Walton | -30/+14 | |
| 2011-05-17 | rustc: Make return value checking warnings a little prettier. Also introduce ↵ | Patrick Walton | -3/+10 | |
| a new "note" diagnostic level. | ||||
| 2011-05-17 | rustc: Flatten annotations | Patrick Walton | -589/+307 | |
| 2011-05-17 | Alias-ify the parser and lexer | Marijn Haverbeke | -123/+121 | |
| This only shaves a measly 19k off the rustc binary... but hey, every little thing helps. | ||||
| 2011-05-17 | Finally rename std::_xxx to std::xxx | Marijn Haverbeke | -760/+760 | |
| Except for _task, which is still a keyword. | ||||
| 2011-05-17 | Parser fix: 'fail' was eating the next token that came after it. | Paul Stansifer | -1/+0 | |
| 2011-05-17 | Switch pretty printer to new vec syntax | Marijn Haverbeke | -3/+4 | |
| 2011-05-17 | Return a better result from blocks. Closes issue #377 | Brian Anderson | -0/+3 | |
| Blocks return in a copy of the result of their ending expression, not the direct result of the ending expression, as that may be a local variable which gets zeroed by drop_slot. | ||||
