about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-05-19Revert 106216d67358f13f4be296ee59f711a1f1566bbe.Rafael Ávila de Espíndola-39/+14
2011-05-19After all that, give up on "complex" version of type_has_pointers and just ma...Graydon Hoare-59/+64
2011-05-19Move the ty_item_table into ty::ctxt.items, move variant_info to ty, and star...Graydon Hoare-275/+290
2011-05-19Remove type_glue.rs, don't think it's going to work.Graydon Hoare-104/+0
2011-05-19rustc: Unify variables using a single type instead of keeping a list and doin...Patrick Walton-44/+106
2011-05-19Move type cache and node type table into type context.Graydon Hoare-349/+254
2011-05-19Finish name collision testing.Marijn Haverbeke-7/+131
2011-05-19No functional change. Largely removed the native module/non-native module dis...Paul Stansifer-85/+45
2011-05-19Typestate checking code no longer uses fold -- only walk.Tim Chevalier-40/+9
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-1/+1
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-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-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-45/+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-4/+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-46/+54
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: 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-520/+221
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/+5
2011-05-17rustc: Flatten annotationsPatrick Walton-563/+298
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 14:22:30 +0000