| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | move rust_crate structure into the actual crate code | Marijn Haverbeke | 2011-04-18 | 1 | -4/+2 | |
| | | ||||||
| * | introduce local_ctxt in trans.rs to keep crate_ctxt global | Marijn Haverbeke | 2011-04-18 | 1 | -318/+333 | |
| | | | | | | | This reduces crate_ctxt copying (which unfortunately did not result in a noticeable speedup), and makes the role of that type a bit more clear. | |||||
| * | rustc: Capture type parameters into for-each blocks. Add a test case. | Patrick Walton | 2011-04-15 | 1 | -2/+33 | |
| | | ||||||
| * | rustc: Use a regular vector instead of a hash table for type descriptors | Patrick Walton | 2011-04-15 | 1 | -14/+13 | |
| | | ||||||
| * | rustc: Remove the "boxed" check, and make the static_size_of_tag ↵ | Patrick Walton | 2011-04-15 | 1 | -33/+32 | |
| | | | | | recursion-eliminating transformation deep | |||||
| * | Add a -S option for producing assembly. I will move more of it to | Rafael Ávila de Espíndola | 2011-04-15 | 1 | -11/+23 | |
| | | | | | rust once the necessary APIs are available in C. | |||||
| * | rustc: Make fold_ty no longer use an object; introduce walk_ty | Patrick Walton | 2011-04-15 | 3 | -115/+160 | |
| | | ||||||
| * | Work on destructors, not entirely functional yet (no tydesc integration). | Graydon Hoare | 2011-04-14 | 3 | -7/+58 | |
| | | ||||||
| * | rustc: Use the unified result for the type of assignment expressions | Patrick Walton | 2011-04-14 | 1 | -1/+1 | |
| | | ||||||
| * | rustc: Perform type substitutions when recording locals | Patrick Walton | 2011-04-14 | 1 | -1/+11 | |
| | | ||||||
| * | rustc: Remove generalize_ty. Instead, maintain an explicit type parameter ↵ | Patrick Walton | 2011-04-14 | 3 | -358/+522 | |
| | | | | | substitution list. | |||||
| * | rustc: Use union-find for variable substitution | Patrick Walton | 2011-04-14 | 1 | -48/+103 | |
| | | ||||||
| * | rm unused import | Tim Chevalier | 2011-04-13 | 1 | -1/+0 | |
| | | ||||||
| * | Make expr_while work in typestate_check | Tim Chevalier | 2011-04-13 | 1 | -114/+91 | |
| | | | | | | | Also did some refactoring in typestate_check. All test cases in compile-fail that involve uninitialized vars now fail correctly! (All eight of them, that is.) | |||||
| * | Fix temporary-spilling logic in trans_args, uncomment most of lib-deque.rs ↵ | Graydon Hoare | 2011-04-13 | 1 | -1/+5 | |
| | | | | | (which now passes on stage0). | |||||
| * | Enable alias analysis and the function attributes pass. | Rafael Ávila de Espíndola | 2011-04-13 | 1 | -4/+5 | |
| | | | | | | The C API extension is already upstream, we can drop the local copy once the bots are updated. | |||||
| * | typestate_check can now handle expr_block, expr_if, and expr_binary | Tim Chevalier | 2011-04-12 | 3 | -159/+351 | |
| | | | | | | | | | | | | | | | | | (caveat for the latter: it assumes that binary operations are strict; a TODO is to detect or and and and correctly reflect that they're lazy in the second argument). I had to add an ann field to ast.block, resulting in the usual boilerplate changes. Test cases that currently work (if you uncomment the typestate pass in the driver) (all these are under test/compile-fail): fru-typestate ret-uninit use-uninit use-uninit-2 use-uninit-3 | |||||
| * | rustc: Switch to indices for type parameters | Patrick Walton | 2011-04-12 | 5 | -363/+238 | |
| | | ||||||
| * | Further work on typestate. Handles expr_rec and expr_assign now. | Tim Chevalier | 2011-04-12 | 3 | -228/+450 | |
| | | | | | | | | | | | | | Also changed the ts_ann field on statements to be an ann instead, which explains most of the changes. As well, got rid of the "warning: no type for expression" error by filling in annotations for local decls in typeck (not sure whether this was my fault or not). Finally, in bitv, added a clone() function to copy a bit vector, and fixed is_true, is_false, and to_str to not be nonsense. | |||||
| * | Make glue always pass-by-alias and rename "scalar_or_boxed" concept to ↵ | Graydon Hoare | 2011-04-12 | 1 | -48/+73 | |
| | | | | | "immediate" | |||||
| * | Tighten up condition on use of opaque_tag, remove blunt hammer of alias ↵ | Graydon Hoare | 2011-04-12 | 1 | -5/+20 | |
| | | | | | arg-casting in trans_args. | |||||
| * | Enable more optimizations. | Rafael Ávila de Espíndola | 2011-04-12 | 1 | -6/+6 | |
| | | ||||||
| * | rustc: Factor out expr_ty() into expr_ann() and expr_ty() | Patrick Walton | 2011-04-11 | 1 | -38/+45 | |
| | | ||||||
| * | Implement the "attempted dynamic environment-capture" error in rustc. | Rafael Ávila de Espíndola | 2011-04-11 | 1 | -0/+118 | |
| | | ||||||
| * | rustc: Push down types for all expressions; add logic for recv and send | Patrick Walton | 2011-04-08 | 2 | -2/+26 | |
| | | ||||||
| * | Remove silly legacy glue-offset encoding, predicate runtime adjustments by ↵ | Graydon Hoare | 2011-04-09 | 1 | -42/+24 | |
| | | | | | ABI. LLVM should inline most glue now. | |||||
| * | rustc: Rename "demand" to "pushdown" in the typechecker and explain more ↵ | Patrick Walton | 2011-04-08 | 1 | -376/+409 | |
| | | | | | clearly what it's for | |||||
| * | Move to single-uint file-position representation. | Marijn Haverbeke | 2011-04-09 | 1 | -2/+3 | |
| | | | | | | | | | This makes passing them around cheaper. There is now a table (see front/codemap.rs) that is needed to transform such an uint into an actual filename/line/col location. Also cleans up the span building in the parser a bit. | |||||
| * | rustc: Resolve ty_locals | Patrick Walton | 2011-04-08 | 1 | -3/+32 | |
| | | ||||||
| * | rustc: Add the ability to fold over annotations | Patrick Walton | 2011-04-08 | 1 | -36/+83 | |
| | | ||||||
| * | Remove unused function. | Rafael Ávila de Espíndola | 2011-04-08 | 1 | -17/+0 | |
| | | ||||||
| * | Remove unused function. | Rafael Ávila de Espíndola | 2011-04-08 | 1 | -12/+0 | |
| | | ||||||
| * | fix long lines | Tim Chevalier | 2011-04-08 | 1 | -36/+30 | |
| | | ||||||
| * | Implemented computing prestates and poststates for a few expression forms. | Tim Chevalier | 2011-04-08 | 1 | -63/+224 | |
| | | | | | | The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable. | |||||
| * | Make block results work for generic types | Brian Anderson | 2011-04-07 | 1 | -14/+17 | |
| | | | | | | | | I think just about every type can be used as a block result now. There's quite a proliferation of tests here, but they all test slightly different things and some are split out to remain XFAILed. The tests of generic vectors are still XFAILed because generic aliased boxes still don't work in general. | |||||
| * | rustc: Pointer cast when crossing a box boundary for statically-sized ↵ | Patrick Walton | 2011-04-07 | 1 | -0/+4 | |
| | | | | | elements in trans_index() | |||||
| * | rustc: Pointer cast when autodereferencing boxed tag types | Patrick Walton | 2011-04-07 | 1 | -1/+13 | |
| | | ||||||
| * | rustc: Use the name "opaque_tag", not "tag", for opaque tags | Patrick Walton | 2011-04-07 | 1 | -1/+1 | |
| | | ||||||
| * | Support for self-calls that take arguments. | Lindsey Kuper | 2011-04-07 | 4 | -33/+58 | |
| | | | | | | | | Nicer parsing of self-calls (expr_self_method nodes inside expr_call nodes, rather than a separate expr_call_self) makes typechecking tractable. We can now write self-calls that take arguments and return values (see: test/run-pass/obj-self-*.rs). | |||||
| * | Fix problem in metadata writer | Marijn Haverbeke | 2011-04-07 | 1 | -0/+4 | |
| | | | | | | | It was creating non-multiple-of-four section sizes, which, for some reason, presumably by LLVM, were clipped, rather than padded, to be a multiple of four. | |||||
| * | rustc: Remove useless call to type_of() in trans_rec() | Patrick Walton | 2011-04-07 | 1 | -1/+0 | |
| | | ||||||
| * | rustc: Allow dereference expressions to be used as lvalues. Add a test case. | Patrick Walton | 2011-04-07 | 1 | -20/+26 | |
| | | ||||||
| * | Add a -O option and change the Makefile to use it. | Rafael Ávila de Espíndola | 2011-04-07 | 1 | -5/+5 | |
| | | ||||||
| * | rustc: Reindent line. Puts out burning tinderbox. | Patrick Walton | 2011-04-07 | 1 | -2/+2 | |
| | | ||||||
| * | rustc: Link to external tag discriminants. Un-XFAIL test/run-pass/lib-option.rs. | Patrick Walton | 2011-04-07 | 1 | -44/+52 | |
| | | ||||||
| * | Merge branch 'master' of github.com:graydon/rust | Patrick Walton | 2011-04-07 | 6 | -120/+281 | |
| |\ | ||||||
| | * | Run optimizations. | Rafael Ávila de Espíndola | 2011-04-07 | 1 | -5/+66 | |
| | | | | | | | | | | | It is always on for now just to make sure the bots are happy. If they are, I will add a -O option and update the makefile. | |||||
| | * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 6 | -115/+215 | |
| | | | | | | | | | | | | | | | | | | | It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway. | |||||
| * | | Merge branch 'master' of github.com:graydon/rust | Patrick Walton | 2011-04-06 | 5 | -205/+638 | |
| |\| | ||||||
| | * | Remove reference to nonexistent ast.module from typestate_check.rs, stage1 ↵ | Graydon Hoare | 2011-04-06 | 1 | -1/+0 | |
| | | | | | | | | | doesn't like it. | |||||