about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
2011-05-19Revert 106216d67358f13f4be296ee59f711a1f1566bbe.Rafael Ávila de Espíndola-39/+14
This depends on llvm's 131294.
2011-05-19After all that, give up on "complex" version of type_has_pointers and just ↵Graydon Hoare-59/+64
manually inspect. Can't calculate property during interning.
2011-05-19Move the ty_item_table into ty::ctxt.items, move variant_info to ty, and ↵Graydon Hoare-275/+290
start sketching the contains_pointer property on types.
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 ↵Patrick Walton-44/+106
doing it all at the end. This will give us better error messages.
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
And fix a the single screw-up in the source code it caught.
2011-05-19No functional change. Largely removed the native module/non-native module ↵Paul Stansifer-85/+45
distinction from resolve.rs
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
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-1/+1
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-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-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
(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-4/+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-46/+54
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: 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-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 ↵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/+5
a new "note" diagnostic level.
2011-05-17rustc: Flatten annotationsPatrick Walton-563/+298
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 09:56:03 +0000