about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-05-19Eliminate explicit recursion in tstate.states (walk does that now),Tim Chevalier-58/+3
and kill dead code.
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
and various other tidying in typestate
2011-05-19Add visit_fn_pre and visit_fn_post fields to visitorsTim Chevalier-7/+15
Added visit_fn_pre and visit_fn_post fields that get applied to both regular functions and methods.
2011-05-19Make trans use span_err for the dreaded "ty_var in trans::type_of" errorTim 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-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
Started by rewriting collect_locals to use walk instead of fold
2011-05-19Fix an error message that reversed the expected and actual number of ↵Tim Chevalier-2/+2
arguments in a pattern
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
(And remove a boatload of duplicate imports from the typestate files.) Name collision checking in local scopes will follow soon.
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 ↵Patrick Walton-29/+33
during unification
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 ↵Patrick Walton-461/+527
generating variable IDs. 40% typechecking speedup.
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
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-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 ↵Patrick Walton-4/+1
the moment!)
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
types. Puts out burning tinderbox.
2011-05-17rustc: Fix return value of expr_spawn case in pushdown_expr. Should put out ↵Patrick Walton-2/+0
soon-to-be-burning tinderbox.
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 ↵Eric Holk-0/+17
further before failing.
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
a new "note" diagnostic level.
2011-05-17rustc: Flatten annotationsPatrick Walton-589/+307
2011-05-17Alias-ify the parser and lexerMarijn Haverbeke-123/+121
This only shaves a measly 19k off the rustc binary... but hey, every little thing helps.
2011-05-17Finally rename std::_xxx to std::xxxMarijn Haverbeke-760/+760
Except for _task, which is still a keyword.
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
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.