aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-066-115/+215
* 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
* 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
* rustc: Use the type cache to construct external item referencesPatrick Walton2011-03-301-19/+38
* rustc: Thread an item-to-type mapping throughout the typechecking and transla...Patrick Walton2011-03-306-344/+353
* Ensure task stacks start out with a 16-byte aligned entry frame. Should make ...Graydon Hoare2011-03-301-1/+2
* rustc: Add all items to the item table during translation. lib-vec now compil...Patrick Walton2011-03-291-1/+16
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 21:42:31 +0000