aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of github.com:graydon/rustPatrick Walton2011-04-076-120/+281
|\
| * Run optimizations.Rafael Ávila de Espíndola2011-04-071-5/+66
| * Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-066-115/+215
* | Merge branch 'master' of github.com:graydon/rustPatrick Walton2011-04-065-205/+638
|\|
| * Remove reference to nonexistent ast.module from typestate_check.rs, stage1 do...Graydon Hoare2011-04-061-1/+0
| * Brute force and ignorance workaround for tag-and-generic-obj; un-XFAIL it.Graydon Hoare2011-04-051-0/+3
| * More work on typestate. Sketched out code for computing and checking prestate...Tim Chevalier2011-04-062-75/+482
| * Last pieces of self-call support.Lindsey Kuper2011-04-052-5/+36
| * Further on the path toward self-awareness.Lindsey Kuper2011-04-053-114/+87
| * FIx native wrapper generation to handle more arg types.Graydon Hoare2011-04-051-3/+23
| * Knocking out a quick fixme: pretty-printing exprs in error messages.Lindsey Kuper2011-04-051-2/+3
| * Make box prefix operator and box type carry mutability flag.Graydon Hoare2011-04-043-11/+10
* | rustc: Make type_of() return the type of the wrapper for native functions. li...Patrick Walton2011-04-031-4/+4
|/
* Begin comparing vectors from the correct addressBrian Anderson2011-04-031-1/+1
* Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. Maj...Graydon Hoare2011-04-021-0/+2
* Add FIXMEs around type handling in trans_if, trans_altBrian Anderson2011-04-021-0/+2
* Join the results of alt arms so alt can be used as an expression.Brian Anderson2011-04-021-12/+18
* Make join_results branch into the join block even when only one edge is live.Brian Anderson2011-04-021-6/+0
* Fail on non-exhaustive alt matchesBrian Anderson2011-04-021-3/+3
* Terminate fail blocks by making their ends unreachable.Brian Anderson2011-04-021-3/+3
* Write typarams for variants. Typecheck gets as far as ty.rs now.Graydon Hoare2011-04-011-2/+4
* Encode ty_native ebml node for native types so typechecker has something to w...Graydon Hoare2011-04-011-0/+1
* Remove typestate_check reference to nonexistent ast.init node; rustc compilin...Graydon Hoare2011-04-011-1/+0
* Re-enable typestate_check in build, was lost during merge. Sorry.Graydon Hoare2011-04-011-1/+1
* Support for passing native types through metadata/creader.Graydon Hoare2011-04-011-1/+3
* Guh. Actually commit the staged undo-of-indentation. Forgotten git staging wi...Graydon Hoare2011-04-011-56/+56
* Switch private linkage to local, re-indent trans.rs.Graydon Hoare2011-04-011-70/+70
* rustc: Write symbols for native items into the crate metadataPatrick Walton2011-04-011-0/+1
* rustc: Don't try to write symbols into the metadata for nullary tags. Puts ou...Patrick Walton2011-04-011-1/+3
* rustc: Get tag variants from the crate metadataPatrick Walton2011-04-012-10/+28
* rustc: Have tag_variants() return a new variant_info structure instead of an ...Patrick Walton2011-04-011-37/+40
* Started adding support for typestate checking.Tim Chevalier2011-04-015-197/+685
* rustc: Remove useless call to tag_variant_with_id()Patrick Walton2011-04-011-1/+0
* Cleanup typos and newlinesBrian Anderson2011-04-011-1/+1
* Initialize the alloca used to retrieve boxed block results to null.Brian Anderson2011-03-311-11/+19
* Only use allocas to hold expression results for boxed typesBrian Anderson2011-03-311-18/+3
* Add more comments to trans_blockBrian Anderson2011-03-311-1/+2
* Modify trans.rs to allow blocks to result in boxed valuesBrian Anderson2011-03-311-0/+59
* rustc: Add a type annotation to tag itemsPatrick Walton2011-03-316-31/+29
* rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead o...Patrick Walton2011-03-312-10/+6
* rustc: Write out a path index as wellPatrick Walton2011-03-311-59/+117
* More stuff to go with the new expr_call_self AST nodeLindsey Kuper2011-03-311-0/+68
* More machinery for adding an expr_call_self AST node.Lindsey Kuper2011-03-311-1/+18
* rustc: Index only the local part of definition IDsPatrick Walton2011-03-311-16/+21
* rustc: Write out an index of definition info in crate metadataPatrick Walton2011-03-311-30/+100
* rustc: Use the scaled index, not the raw index, if a vector has generic size....Patrick Walton2011-03-311-2/+12
* Rename incr_all_refcnts to take_ty, to match drop_tyBrian Anderson2011-03-311-4/+4
* Restore scope block contexts to the translation of expr_block.Brian Anderson2011-03-311-2/+20
* Improve line comment positioningMarijn Haverbeke2011-03-315-40/+42
* Add effect field to ast.ty_fn.Marijn Haverbeke2011-03-312-12/+13