about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-132/+280
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-0/+3
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-1/+4
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-12/+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/+791
2011-04-01rustc: Remove useless call to tag_variant_with_id()Patrick Walton-1/+0
2011-04-01Cleanup typos and newlinesBrian Anderson-1/+1
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-31Modify trans.rs to allow blocks to result in boxed valuesBrian Anderson-0/+59
2011-03-31Add block_to_str and expr_to_str methods to the pprust module.Brian Anderson-0/+18
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
2011-03-31rustc: Write out a path index as wellPatrick Walton-67/+124
2011-03-31Couple minor bug fixes in creader, lib-bitv, int, rand, sort, sha1, uint and ...Graydon Hoare-0/+8
2011-03-31rustc: Use the crate index to look up defsPatrick Walton-29/+26
2011-03-31More stuff to go with the new expr_call_self AST nodeLindsey Kuper-0/+75
2011-03-31More machinery for adding an expr_call_self AST node.Lindsey Kuper-1/+18
2011-03-31rustc: Index only the local part of definition IDsPatrick Walton-16/+21
2011-03-31rustc: Write out an index of definition info in crate metadataPatrick Walton-40/+111
2011-03-31rustc: Mix the bits more when hashing def idsPatrick Walton-9/+8
2011-03-31rustc: Use the scaled index, not the raw index, if a vector has generic size....Patrick Walton-2/+12
2011-03-31Rename incr_all_refcnts to take_ty, to match drop_tyBrian Anderson-4/+4