about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-115/+215
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-75/+482
2011-04-05Last pieces of self-call support.Lindsey Kuper-5/+36
2011-04-05Further on the path toward self-awareness.Lindsey Kuper-114/+87
2011-04-05FIx native wrapper generation to handle more arg types.Graydon Hoare-3/+23
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-11/+10
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-0/+2
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-1/+1
2011-04-01Support for passing native types through metadata/creader.Graydon Hoare-1/+3
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-10/+28
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-197/+685
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-31rustc: Add a type annotation to tag itemsPatrick Walton-31/+29
2011-03-31rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead o...Patrick Walton-10/+6
2011-03-31rustc: Write out a path index as wellPatrick Walton-59/+117
2011-03-31More stuff to go with the new expr_call_self AST nodeLindsey Kuper-0/+68
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-30/+100
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
2011-03-31Restore scope block contexts to the translation of expr_block.Brian Anderson-2/+20
2011-03-31Improve line comment positioningMarijn Haverbeke-40/+42
2011-03-31Add effect field to ast.ty_fn.Marijn Haverbeke-12/+13
2011-03-30rustc: Use the type cache to construct external item referencesPatrick Walton-19/+38
2011-03-30rustc: Thread an item-to-type mapping throughout the typechecking and transla...Patrick Walton-344/+353
2011-03-30Ensure task stacks start out with a 16-byte aligned entry frame. Should make ...Graydon Hoare-1/+2
2011-03-29rustc: Add all items to the item table during translation. lib-vec now compil...Patrick Walton-1/+16