about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-05-20Called the new_task upcall. There are refcount issues though.Eric Holk-2/+24
2011-05-20Nicer printer of LLVM array types.Eric Holk-1/+4
2011-05-20A little closure towards translating spawn. We're about ready to do the ↵Eric Holk-4/+47
upcall, except that rustc segfaults.
2011-05-20Added some comments to trans_spawn that sort of explains what needs to happenEric Holk-1/+15
2011-05-20Started working on translating spawn. It correctly generates the task name ↵Eric Holk-1/+41
in the case that it is not provided.
2011-05-20Options fix from erickt.Graydon Hoare-1/+1
2011-05-20Twiddle glue inlining heuristics. ~10% win on build time.Graydon Hoare-9/+25
2011-05-20Elide a bunch of do-nothing take glue.Graydon Hoare-1/+1
2011-05-20Remove redundant secondary declaration of glue.Graydon Hoare-12/+0
2011-05-20rustc: Move the interner to a new module intended to be used for general ↵Patrick Walton-50/+52
data structures
2011-05-19rustc: Translate else if blocks the same as other blocks. Closes #388Brian Anderson-9/+12
2011-05-19rustc: Find the correct outer scope in trans_blockBrian Anderson-1/+5
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-282/+296
start sketching the contains_pointer property on types.
2011-05-19Remove type_glue.rs, don't think it's going to work.Graydon Hoare-105/+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-367/+270
2011-05-19Finish name collision testing.Marijn Haverbeke-8/+131
And fix a the single screw-up in the source code it caught.
2011-05-19OptLevel changes. Accepts levels 0 to 3 only. '-O' is synonym for --OptLevel=2.Graydon Hoare-18/+55
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-43/+12
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