about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-04-20Change trans.collect_items to use walk, not foldMarijn Haverbeke-127/+112
2011-04-20Integrate walk.rsMarijn Haverbeke-23/+29
2011-04-20Fix #335, log context needs to be a scope to capture cleanups.Graydon Hoare-1/+1
2011-04-19Small fast-path hack to ty.hash_ty and eq_ty.Graydon Hoare-0/+45
2011-04-19rustc: Add a -noverify optionPatrick Walton-6/+9
2011-04-19Add testcase for bootstrap blocker and fix for each result type to nil.Graydon Hoare-3/+4
2011-04-19rustc: Cache the results of type_of()Patrick Walton-0/+9
2011-04-19rustc: Use marijnh's stringifier for type hash and equality, since it's not s...Patrick Walton-2/+9
2011-04-19rustc: Make structured comparison glue instead of emitting it inlinePatrick Walton-196/+340
2011-04-19Handle nested items correctly in typestate_checkTim Chevalier-94/+750
2011-04-19Remove effect system from src.Graydon Hoare-35/+33
2011-04-19rustc: Allow glue to be emitted even for scalar types; this is necessary to s...Patrick Walton-38/+33
2011-04-19rustc: Don't return "result" types from glue helper functions. This allows gl...Patrick Walton-46/+46
2011-04-19rustc: Assert that each basic block isn't terminated before adding instructio...Patrick Walton-1/+1
2011-04-19replace error logging with log_err in stdlib and rustcMarijn Haverbeke-44/+46
2011-04-19add log_err to rustcMarijn Haverbeke-21/+22
2011-04-19Add log_err to rustbootMarijn Haverbeke-1/+1
2011-04-18Boilerplate city, for anyone who wants it.Graydon Hoare-0/+471
2011-04-18rustc: Add an operation field to compare glue with ==, <=, and < modesPatrick Walton-9/+12
2011-04-18rustc: Create stub glue for structural comparisonPatrick Walton-23/+78
2011-04-18Update foregoing patches to leave rust_crate alone.Marijn Haverbeke-11/+11
2011-04-18Add a -c option.Rafael Ávila de Espíndola-4/+26
2011-04-18Make log the log level configurable per moduleMarijn Haverbeke-27/+111
2011-04-18move rust_crate structure into the actual crate codeMarijn Haverbeke-4/+2
2011-04-18introduce local_ctxt in trans.rs to keep crate_ctxt globalMarijn Haverbeke-318/+333
2011-04-15rustc: Capture type parameters into for-each blocks. Add a test case.Patrick Walton-2/+33
2011-04-15rustc: Use a regular vector instead of a hash table for type descriptorsPatrick Walton-14/+13
2011-04-15rustc: Remove the "boxed" check, and make the static_size_of_tag recursion-el...Patrick Walton-33/+32
2011-04-15Add a -S option for producing assembly. I will move more of it toRafael Ávila de Espíndola-11/+23
2011-04-15rustc: Make fold_ty no longer use an object; introduce walk_tyPatrick Walton-115/+160
2011-04-14Work on destructors, not entirely functional yet (no tydesc integration).Graydon Hoare-7/+58
2011-04-14rustc: Use the unified result for the type of assignment expressionsPatrick Walton-1/+1
2011-04-14rustc: Perform type substitutions when recording localsPatrick Walton-1/+11
2011-04-14rustc: Remove generalize_ty. Instead, maintain an explicit type parameter sub...Patrick Walton-358/+522
2011-04-14rustc: Use union-find for variable substitutionPatrick Walton-48/+103
2011-04-13rm unused importTim Chevalier-1/+0
2011-04-13Make expr_while work in typestate_checkTim Chevalier-114/+91
2011-04-13Fix temporary-spilling logic in trans_args, uncomment most of lib-deque.rs (w...Graydon Hoare-1/+5
2011-04-13Enable alias analysis and the function attributes pass.Rafael Ávila de Espíndola-4/+5
2011-04-12typestate_check can now handle expr_block, expr_if, and expr_binaryTim Chevalier-159/+351
2011-04-12rustc: Switch to indices for type parametersPatrick Walton-363/+238
2011-04-12Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier-228/+450
2011-04-12Make glue always pass-by-alias and rename "scalar_or_boxed" concept to "immed...Graydon Hoare-48/+73
2011-04-12Tighten up condition on use of opaque_tag, remove blunt hammer of alias arg-c...Graydon Hoare-5/+20
2011-04-12Enable more optimizations.Rafael Ávila de Espíndola-6/+6
2011-04-11rustc: Factor out expr_ty() into expr_ann() and expr_ty()Patrick Walton-38/+45
2011-04-11Implement the "attempted dynamic environment-capture" error in rustc.Rafael Ávila de Espíndola-0/+118
2011-04-08rustc: Push down types for all expressions; add logic for recv and sendPatrick Walton-2/+26
2011-04-09Remove silly legacy glue-offset encoding, predicate runtime adjustments by AB...Graydon Hoare-42/+24
2011-04-08rustc: Rename "demand" to "pushdown" in the typechecker and explain more clea...Patrick Walton-376/+409