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