about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-04-09Move to single-uint file-position representation.Marijn Haverbeke-2/+3
2011-04-08rustc: Resolve ty_localsPatrick Walton-3/+32
2011-04-08rustc: Add the ability to fold over annotationsPatrick Walton-36/+83
2011-04-08Remove unused function.Rafael Ávila de Espíndola-17/+0
2011-04-08Remove unused function.Rafael Ávila de Espíndola-12/+0
2011-04-08fix long linesTim Chevalier-36/+30
2011-04-08Implemented computing prestates and poststates for a few expression forms.Tim Chevalier-63/+224
2011-04-07Make block results work for generic typesBrian Anderson-14/+17
2011-04-07rustc: Pointer cast when crossing a box boundary for statically-sized element...Patrick Walton-0/+4
2011-04-07rustc: Pointer cast when autodereferencing boxed tag typesPatrick Walton-1/+13
2011-04-07rustc: Use the name "opaque_tag", not "tag", for opaque tagsPatrick Walton-1/+1
2011-04-07Support for self-calls that take arguments.Lindsey Kuper-33/+58
2011-04-07Fix problem in metadata writerMarijn Haverbeke-0/+4
2011-04-07rustc: Remove useless call to type_of() in trans_rec()Patrick Walton-1/+0
2011-04-07rustc: Allow dereference expressions to be used as lvalues. Add a test case.Patrick Walton-20/+26
2011-04-07Add a -O option and change the Makefile to use it.Rafael Ávila de Espíndola-5/+5
2011-04-07rustc: Reindent line. Puts out burning tinderbox.Patrick Walton-2/+2
2011-04-07rustc: Link to external tag discriminants. Un-XFAIL test/run-pass/lib-option.rs.Patrick Walton-44/+52
2011-04-07Merge branch 'master' of github.com:graydon/rustPatrick Walton-120/+281
2011-04-07Run optimizations.Rafael Ávila de Espíndola-5/+66
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-115/+215
2011-04-06Merge branch 'master' of github.com:graydon/rustPatrick Walton-205/+638
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-03rustc: Make type_of() return the type of the wrapper for native functions. li...Patrick Walton-4/+4
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