about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-132/+342
2011-04-06Minimal testcase for next bootstrap blocker.Graydon Hoare-0/+6
2011-04-06Remove reference to nonexistent ast.module from typestate_check.rs, stage1 do...Graydon Hoare-1/+0
2011-04-05Brute force and ignorance workaround for tag-and-generic-obj; un-XFAIL it.Graydon Hoare-2/+3
2011-04-05Add new minimal test for current blocker on bootstrapping.Graydon Hoare-0/+12
2011-04-06More work on typestate. Sketched out code for computing and checking prestate...Tim Chevalier-80/+508
2011-04-05Last pieces of self-call support.Lindsey Kuper-6/+37
2011-04-05Further on the path toward self-awareness.Lindsey Kuper-118/+99
2011-04-05FIx native wrapper generation to handle more arg types.Graydon Hoare-3/+23
2011-04-05Oops -- if we're going to use the pretty-printer, we need it to work.Lindsey Kuper-0/+5
2011-04-05Knocking out a quick fixme: pretty-printing exprs in error messages.Lindsey Kuper-2/+3
2011-04-04Make box prefix operator and box type carry mutability flag.Graydon Hoare-14/+17
2011-04-03Begin comparing vectors from the correct addressBrian Anderson-1/+1
2011-04-02Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. Maj...Graydon Hoare-7/+14
2011-04-02Add more tests for alt expressionsBrian Anderson-2/+111
2011-04-02Add FIXMEs around type handling in trans_if, trans_altBrian Anderson-0/+2
2011-04-02Join the results of alt arms so alt can be used as an expression.Brian Anderson-13/+18
2011-04-02Make join_results branch into the join block even when only one edge is live.Brian Anderson-6/+0
2011-04-02Fail on non-exhaustive alt matchesBrian Anderson-3/+3
2011-04-02Terminate fail blocks by making their ends unreachable.Brian Anderson-3/+3
2011-04-01Write typarams for variants. Typecheck gets as far as ty.rs now.Graydon Hoare-2/+4
2011-04-01Encode ty_native ebml node for native types so typechecker has something to w...Graydon Hoare-0/+1
2011-04-01Remove typestate_check reference to nonexistent ast.init node; rustc compilin...Graydon Hoare-1/+0
2011-04-01Re-enable typestate_check in build, was lost during merge. Sorry.Graydon Hoare-2/+3
2011-04-01Support for passing native types through metadata/creader.Graydon Hoare-1/+5
2011-04-01Comment out import for not-yet-compiling typestate_check.Graydon Hoare-1/+1
2011-04-01Guh. Actually commit the staged undo-of-indentation. Forgotten git staging wi...Graydon Hoare-56/+56
2011-04-01Switch private linkage to local, re-indent trans.rs.Graydon Hoare-70/+70
2011-04-01rustc: Write symbols for native items into the crate metadataPatrick Walton-0/+1
2011-04-01rustc: Don't try to write symbols into the metadata for nullary tags. Puts ou...Patrick Walton-1/+3
2011-04-01rustc: Get tag variants from the crate metadataPatrick Walton-16/+78
2011-04-01rustc: Have tag_variants() return a new variant_info structure instead of an ...Patrick Walton-37/+40
2011-04-01Started adding support for typestate checking.Tim Chevalier-235/+814
2011-04-01rustc: Remove useless call to tag_variant_with_id()Patrick Walton-1/+0
2011-04-01Cleanup typos and newlinesBrian Anderson-3/+3
2011-03-31Add an XFAILed test for treating alts as expressionsBrian Anderson-0/+31
2011-03-31Un-XFAIL expr-if-box.rsBrian Anderson-1/+0
2011-03-31Initialize the alloca used to retrieve boxed block results to null.Brian Anderson-11/+19
2011-03-31Only use allocas to hold expression results for boxed typesBrian Anderson-18/+3
2011-03-31Add more comments to trans_blockBrian Anderson-1/+2
2011-03-31Add a test for block expressions of generic types. XFAILedBrian Anderson-0/+56
2011-03-31Add another test for blocks as expressionsBrian Anderson-0/+31
2011-03-31Un-XFAIL expr-block-box.rsBrian Anderson-1/+0
2011-03-31Modify trans.rs to allow blocks to result in boxed valuesBrian Anderson-0/+59
2011-03-31Move str test from expr-if.rs to expr-if-box.rs in preperation for breaking t...Brian Anderson-7/+7
2011-03-31Add block_to_str and expr_to_str methods to the pprust module.Brian Anderson-0/+18
2011-03-31Add a test for block expressions that have results. XFAILed.Brian Anderson-0/+11
2011-03-31rustc: Add a type annotation to tag itemsPatrick Walton-36/+35
2011-03-31rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead o...Patrick Walton-10/+6
2011-03-31rustc: Use the path index. Speeds up compilation a lot.Patrick Walton-91/+48