| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Avoid some gotchas with logging macros | Brian Anderson | 2011-04-07 | 2 | -15/+25 | |
| | | | | | | I think this is sufficient to eliminate multiple evaluation and the possibility of accidental miscompilation from the logging macros. | |||||
| * | Add a test case for calling generic functions taking alias args with box types | Brian Anderson | 2011-04-07 | 1 | -0/+13 | |
| | | ||||||
| * | Add an XFAILed test for blocks that result in functions | Brian Anderson | 2011-04-07 | 1 | -0/+15 | |
| | | ||||||
| * | Make block results work for generic types | Brian Anderson | 2011-04-07 | 10 | -54/+191 | |
| | | | | | | | | 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. | |||||
| * | stdlib: Add a simple union-find data structure | Patrick Walton | 2011-04-07 | 2 | -0/+43 | |
| | | ||||||
| * | rustc: Pointer cast when crossing a box boundary for statically-sized ↵ | Patrick Walton | 2011-04-07 | 1 | -0/+4 | |
| | | | | | elements in trans_index() | |||||
| * | add FIXME related to the -fno-strict-aliasing workaround | Marijn Haverbeke | 2011-04-08 | 1 | -0/+2 | |
| | | ||||||
| * | Re-add a read_byte() method to buf_reader objs | Marijn Haverbeke | 2011-04-08 | 1 | -20/+18 | |
| | | | | | | | | | | This was removed because of the repetition, but doing single-byte reads in terms of read_bytes (which allocates a vec) is needlessly slow. This change speeds up parsing by 22%. (Eventually, we won't be able to escape handling the buffering in the stdlib itself.) | |||||
| * | Initialize two more variables to keep darwin tinderbox happy | Marijn Haverbeke | 2011-04-08 | 1 | -2/+2 | |
| | | ||||||
| * | add a -parse-only option to rustc | Marijn Haverbeke | 2011-04-08 | 1 | -2/+9 | |
| | | | | | (undocumented, only used for profiling the parser) | |||||
| * | add -O2 when compiling rt, fix warnings triggered by optimizer | Marijn Haverbeke | 2011-04-08 | 4 | -6/+6 | |
| | | ||||||
| * | Updated test to use 'check' rather than just logging results. | Lindsey Kuper | 2011-04-07 | 1 | -5/+3 | |
| | | ||||||
| * | Move to macro-based logging checks in the C++ code | Marijn Haverbeke | 2011-04-07 | 18 | -237/+254 | |
| | | | | | | No functions should be called for log statements that turn out to be inactive. | |||||
| * | 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 | 9 | -41/+120 | |
| | | | | | | | | 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). | |||||
| * | Add a very basic crate-dump utility | Marijn Haverbeke | 2011-04-07 | 2 | -2/+73 | |
| | | | | | | 'rustc -ls [cratelib]' will now dump out a list of symbols defined by the crate, as well as a short description of what they are. | |||||
| * | 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. | |||||
| * | Revise EBML reader API | Marijn Haverbeke | 2011-04-07 | 3 | -280/+201 | |
| | | | | | New one is less stateful, easier to work with. | |||||
| * | rustc: Remove useless call to type_of() in trans_rec() | Patrick Walton | 2011-04-07 | 1 | -1/+0 | |
| | | ||||||
| * | "xfail-stage0", not "XFAIL-stage0" | Patrick Walton | 2011-04-07 | 1 | -1/+1 | |
| | | ||||||
| * | XFAIL lib-option.rs in stage0 due to crash on Darwin on tinderbox | Patrick Walton | 2011-04-07 | 1 | -0/+1 | |
| | | ||||||
| * | Fix effect on deref-lval | Patrick Walton | 2011-04-07 | 1 | -1/+1 | |
| | | ||||||
| * | rustc: Allow dereference expressions to be used as lvalues. Add a test case. | Patrick Walton | 2011-04-07 | 2 | -20/+32 | |
| | | ||||||
| * | Add a -O option and change the Makefile to use it. | Rafael Ávila de Espíndola | 2011-04-07 | 2 | -10/+16 | |
| | | ||||||
| * | 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 | 2 | -46/+53 | |
| | | ||||||
| * | Merge branch 'master' of github.com:graydon/rust | Patrick Walton | 2011-04-07 | 16 | -137/+442 | |
| |\ | ||||||
| | * | Run optimizations. | Rafael Ávila de Espíndola | 2011-04-07 | 2 | -5/+100 | |
| | | | | | | | | | | | 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 | 15 | -132/+342 | |
| | | | | | | | | | | | | | | | | | | | 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 | 13 | -218/+705 | |
| |\| | ||||||
| | * | Minimal testcase for next bootstrap blocker. | Graydon Hoare | 2011-04-06 | 1 | -0/+6 | |
| | | | ||||||
| | * | Remove reference to nonexistent ast.module from typestate_check.rs, stage1 ↵ | Graydon Hoare | 2011-04-06 | 1 | -1/+0 | |
| | | | | | | | | | doesn't like it. | |||||
| | * | Brute force and ignorance workaround for tag-and-generic-obj; un-XFAIL it. | Graydon Hoare | 2011-04-05 | 2 | -2/+3 | |
| | | | ||||||
| | * | Add new minimal test for current blocker on bootstrapping. | Graydon Hoare | 2011-04-05 | 1 | -0/+12 | |
| | | | ||||||
| | * | More work on typestate. Sketched out code for computing and checking ↵ | Tim Chevalier | 2011-04-06 | 4 | -80/+508 | |
| | | | | | | | | | prestates and poststates. Still a long ways away. | |||||
| | * | Last pieces of self-call support. | Lindsey Kuper | 2011-04-05 | 3 | -6/+37 | |
| | | | | | | | | | | | | | | | | | The last few pieces of the hack that lets us use trans.trans_call() to translate self-calls, plus a fix for the parser buy that was preventing self-call expressions from getting past parsing. test/run-pass/obj-self.rs works now (as in it actually prints "hi!" twice!). | |||||
| | * | Further on the path toward self-awareness. | Lindsey Kuper | 2011-04-05 | 7 | -118/+99 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Mostly: * Merciless refactoring of trans.rs so that trans_call can work for self-calls as well as other kinds of calls Also: * Various changes to go with having idents, rather than exprs, in expr_call_self AST nodes * Added missing case for SELF token to token.to_str() | |||||
| | * | FIx native wrapper generation to handle more arg types. | Graydon Hoare | 2011-04-05 | 1 | -3/+23 | |
| | | | ||||||
| | * | Oops -- if we're going to use the pretty-printer, we need it to work. | Lindsey Kuper | 2011-04-05 | 1 | -0/+5 | |
| | | | ||||||
| | * | Knocking out a quick fixme: pretty-printing exprs in error messages. | Lindsey Kuper | 2011-04-05 | 1 | -2/+3 | |
| | | | ||||||
| | * | Make box prefix operator and box type carry mutability flag. | Graydon Hoare | 2011-04-04 | 5 | -14/+17 | |
| | | | ||||||
| * | | rustc: Make type_of() return the type of the wrapper for native functions. ↵ | Patrick Walton | 2011-04-03 | 1 | -4/+4 | |
| |/ | | | | lib-map now compiles, but fails to work properly. | |||||
| * | Begin comparing vectors from the correct address | Brian Anderson | 2011-04-03 | 1 | -1/+1 | |
| | | | | | Start at the first element instead of the address of the vector. | |||||
| * | Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. ↵ | Graydon Hoare | 2011-04-02 | 6 | -7/+14 | |
| | | | | | Major perf win. | |||||
| * | Add more tests for alt expressions | Brian Anderson | 2011-04-02 | 3 | -2/+111 | |
| | | ||||||
| * | Add FIXMEs around type handling in trans_if, trans_alt | Brian Anderson | 2011-04-02 | 1 | -0/+2 | |
| | | ||||||
| * | Join the results of alt arms so alt can be used as an expression. | Brian Anderson | 2011-04-02 | 2 | -13/+18 | |
| | | | | | Un-XFAIL expr-alt.rs. | |||||
| * | Make join_results branch into the join block even when only one edge is live. | Brian Anderson | 2011-04-02 | 1 | -6/+0 | |
| | | | | | | | I don't don't totally understand the implications of this but it makes the behavior consistent for all live edges, which is going to make joining the arms of an alt expression work correctly. | |||||
| * | Fail on non-exhaustive alt matches | Brian Anderson | 2011-04-02 | 1 | -3/+3 | |
| | | ||||||