aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-0615-132/+342
* Minimal testcase for next bootstrap blocker.Graydon Hoare2011-04-061-0/+6
* 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-052-2/+3
* Add new minimal test for current blocker on bootstrapping.Graydon Hoare2011-04-051-0/+12
* More work on typestate. Sketched out code for computing and checking prestate...Tim Chevalier2011-04-064-80/+508
* Last pieces of self-call support.Lindsey Kuper2011-04-053-6/+37
* Further on the path toward self-awareness.Lindsey Kuper2011-04-057-118/+99
* FIx native wrapper generation to handle more arg types.Graydon Hoare2011-04-051-3/+23
* Oops -- if we're going to use the pretty-printer, we need it to work.Lindsey Kuper2011-04-051-0/+5
* 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-045-14/+17
* 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-026-7/+14
* Add more tests for alt expressionsBrian Anderson2011-04-023-2/+111
* 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-022-13/+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-013-2/+3
* Support for passing native types through metadata/creader.Graydon Hoare2011-04-012-1/+5
* Comment out import for not-yet-compiling typestate_check.Graydon Hoare2011-04-011-1/+1
* 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-014-16/+78
* 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-0113-235/+814
* rustc: Remove useless call to tag_variant_with_id()Patrick Walton2011-04-011-1/+0
* Cleanup typos and newlinesBrian Anderson2011-04-013-3/+3
* Add an XFAILed test for treating alts as expressionsBrian Anderson2011-03-311-0/+31
* Un-XFAIL expr-if-box.rsBrian Anderson2011-03-311-1/+0
* 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
* Add a test for block expressions of generic types. XFAILedBrian Anderson2011-03-311-0/+56
* Add another test for blocks as expressionsBrian Anderson2011-03-311-0/+31
* Un-XFAIL expr-block-box.rsBrian Anderson2011-03-311-1/+0
* Modify trans.rs to allow blocks to result in boxed valuesBrian Anderson2011-03-311-0/+59
* Move str test from expr-if.rs to expr-if-box.rs in preperation for breaking t...Brian Anderson2011-03-312-7/+7
* Add block_to_str and expr_to_str methods to the pprust module.Brian Anderson2011-03-311-0/+18
* Add a test for block expressions that have results. XFAILed.Brian Anderson2011-03-311-0/+11
* rustc: Add a type annotation to tag itemsPatrick Walton2011-03-319-36/+35
* rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead o...Patrick Walton2011-03-312-10/+6
* rustc: Use the path index. Speeds up compilation a lot.Patrick Walton2011-03-311-91/+48