| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 'with' no longer a token; whitespace police. | Lindsey Kuper | 2011-05-13 | 1 | -0/+1 |
| | | | | | | Plus renaming the anonymous objects test to a more descriptive name, and XFAILing it because it doesn't work yet. | ||||
| * | Bug fixes. | Lindsey Kuper | 2011-05-13 | 1 | -1/+1 |
| | | | | | | Fixed infinite loop on anonymous objects in parser; added expr_anon_obj to walk.rs; fixed syntax of test case. | ||||
| * | More progress on anonymous objects. | Lindsey Kuper | 2011-05-13 | 1 | -2/+8 |
| | | | | | Still segfaulting on the method-overriding.rs test, though. | ||||
| * | Starting on support for anonymous objects. Just syntax so far. | Lindsey Kuper | 2011-05-13 | 1 | -0/+26 |
| | | |||||
| * | Remove reserved word tests (since reserved words were removed) | Marijn Haverbeke | 2011-05-13 | 7 | -35/+0 |
| | | | | | | | | | Ping me if you disagree, but I think that in a language that's as in-flux as rust currently is, it is silly to try and enforce a single future-compatibility. The reserved words didn't work well with the parser refactor, so I dropped them for the time being. We can, eventually, bring them back as type-only reserved words. | ||||
| * | Implement module namespaces | Marijn Haverbeke | 2011-05-13 | 3 | -3/+6 |
| | | | | | | | | Module names no longer clash with type and value names. The tokenizer/parser still needs to be taught to be more careful in identifying keywords, so that we can use 'str' and 'vec' and so as module names. | ||||
| * | Make module indices hold a list of items | Marijn Haverbeke | 2011-05-13 | 1 | -0/+13 |
| | | | | | | This way, they can support having both a type and a value of the same name. | ||||
| * | Move capture checking into resolve.rs | Marijn Haverbeke | 2011-05-13 | 3 | -1/+25 |
| | | | | | | Drops capture.rs. The new algorithm also checks for captures function arguments and obj fields. | ||||
| * | Fix mistaken replacements in error-pattern comments in tests | Marijn Haverbeke | 2011-05-12 | 25 | -25/+25 |
| | | |||||
| * | Downcase std modules again, move to :: for module dereferencing | Marijn Haverbeke | 2011-05-12 | 103 | -606/+606 |
| | | | | | This should be a snapshot transition. | ||||
| * | Add a missed xfail-stage0 | Marijn Haverbeke | 2011-05-11 | 1 | -0/+1 |
| | | |||||
| * | Rewrite comp/middle/resolve.rs | Marijn Haverbeke | 2011-05-11 | 3 | -3/+4 |
| | | | | | | | | | | * Cleans up the algorithm * Move first pass to walk (second still folds) * Support part of a type/value namespace split (crate metadata and module indices still need to be taught about this) * Remove a few blatant inefficiencies (import tables being recreated for every lookup, most importantly) | ||||
| * | Reuse a single work buffer every time the SHA1 message block is processed. | Brian Anderson | 2011-05-11 | 1 | -6/+4 |
| | | | | | | | This finally allows the full lib-sha1 test to run in a reasonable amount of time. Was 30s, now 3s. Trims a second or two from stage2/rustc. XFAIL lib-sha1 in stage0 since it will be very slow until the next snapshot. | ||||
| * | Introduce str_slice runtime function | Brian Anderson | 2011-05-11 | 1 | -0/+34 |
| | | | | | | | | This reduces the time to execute the new lib-str tests from 1:40ish to a few seconds and will eventually allow the full lib-sha1 test to run in a reasonable amount of time. XFAIL lib-str in stage0 - it will run very slowly until the next snapshot. | ||||
| * | Un-XFAIL syntax-extension-fmt.rs | Brian Anderson | 2011-05-10 | 1 | -3/+0 |
| | | |||||
| * | Un-XFAIL compile-fail export tests for stage0 | Brian Anderson | 2011-05-10 | 6 | -6/+0 |
| | | |||||
| * | rustc: Alias fix part 2 -- Check that the aliasness of function parameters ↵ | Patrick Walton | 2011-05-09 | 1 | -0/+15 |
| | | | | | matches. Add a test case. | ||||
| * | Remove a few more superfluous 'mutable' keywords | Marijn Haverbeke | 2011-05-06 | 1 | -4/+4 |
| | | |||||
| * | Rename std modules to be camelcased | Marijn Haverbeke | 2011-05-06 | 41 | -478/+478 |
| | | | | | (Have fun mergining your stuff with this.) | ||||
| * | Add quick sort function to the std lib. | Kelly Wilson | 2011-05-05 | 1 | -0/+62 |
| | | |||||
| * | Enforce in typechecker that preds return a bool | Tim Chevalier | 2011-05-05 | 1 | -1/+3 |
| | | | | | as well as a test case | ||||
| * | Test cases for pred / check stuff | Tim Chevalier | 2011-05-05 | 8 | -3/+57 |
| | | |||||
| * | Check well-formedness of constraints | Tim Chevalier | 2011-05-05 | 2 | -0/+26 |
| | | | | | | | Check that the operand in a constraint is an explicit name, and that the operands are all local variables or literals. Still need to check that the name refers to a pure function. | ||||
| * | Change checks to asserts in test/bench files | Tim Chevalier | 2011-05-05 | 2 | -6/+6 |
| | | |||||
| * | Check that the operand in a check is a call | Tim Chevalier | 2011-05-05 | 1 | -0/+9 |
| | | | | | | | In addition, fix bug in fold that was turning asserts into checks. More typechecking still needs to be done. | ||||
| * | Un-XFAILed not-a-pred in stage0 (it fails correctly) | Tim Chevalier | 2011-05-05 | 1 | -3/+0 |
| | | |||||
| * | Remove 'deprecated mutable...' from our code | Marijn Haverbeke | 2011-05-05 | 2 | -5/+5 |
| | | | | | This should make compilation a bit less noisy. | ||||
| * | Return a fresh, unreachable context after ret, break, and cont | Marijn Haverbeke | 2011-05-05 | 1 | -4/+0 |
| | | | | | | | | | | This ensures we don't get compile errors on unreachable code (see test/run-pass/artificial-block.rs for an example of sane code that wasn't compiling). In the future, we might want to warn about non-trivial code appearing in an unreachable context, and/or avoid generating unreachable code altogether (though I'm sure LLVM will weed it out as well). | ||||
| * | Add missing ret statements to check_mod | Brian Anderson | 2011-05-04 | 6 | -12/+0 |
| | | | | | Un-XFAIL compile-fail export tests | ||||
| * | More export XFAILs. | Graydon Hoare | 2011-05-04 | 2 | -0/+6 |
| | | |||||
| * | XFAIL some compile-fail tests mysteriously failing on win32 tinderbox. | Graydon Hoare | 2011-05-04 | 4 | -0/+12 |
| | | |||||
| * | extend xfail-stage0 to stage1, stage2 on obj-dtor-2.rs | Graydon Hoare | 2011-05-04 | 1 | -1/+3 |
| | | |||||
| * | Change two compile-fail patterns to match rustc output. | Graydon Hoare | 2011-05-04 | 2 | -2/+2 |
| | | |||||
| * | Assume xfail-stage0 implies stage1 and stage2 in tests, for now. | Graydon Hoare | 2011-05-03 | 99 | -0/+198 |
| | | |||||
| * | Revert "Rename the "llvm" API to "llvm-intrinsic"" due to tinderbox bustage | Patrick Walton | 2011-05-03 | 1 | -1/+1 |
| | | | | | This reverts commit 6871c245a67fab222eccc2a21dcb620d11d3b0d0. | ||||
| * | Rename the "llvm" API to "llvm-intrinsic" | Patrick Walton | 2011-05-03 | 1 | -1/+1 |
| | | |||||
| * | Add some tests of tag-export interaction | Brian Anderson | 2011-05-02 | 3 | -0/+48 |
| | | |||||
| * | Revert "Use check instead of assert in export-unexported-dep" | Brian Anderson | 2011-05-02 | 1 | -1/+1 |
| | | | | | | This reverts commit 480eda0f10fabd6e76a30c91df1d84740d6f81cc. The commit adding the assert keyword has been restored. | ||||
| * | rustc: Remove the artificial block in ty.rs. Fixes self-hosting. Add a test ↵ | Patrick Walton | 2011-05-02 | 1 | -0/+12 |
| | | | | | case for this, XFAIL'd. | ||||
| * | Un-revert "Use different syntax for checks that matter to typestate", fixing ↵ | Patrick Walton | 2011-05-02 | 148 | -696/+696 |
| | | | | | | | the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118. | ||||
| * | Use check instead of assert in export-unexported-dep | Brian Anderson | 2011-05-02 | 1 | -1/+1 |
| | | |||||
| * | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | 2011-05-02 | 148 | -696/+696 |
| | | | | | This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet. | ||||
| * | Add a regression test that exports can expose unexported items | Brian Anderson | 2011-05-02 | 1 | -0/+24 |
| | | | | | | While those unexported items can't be used by name outside the module in which they are defined, they can be used as a sort of ADT. | ||||
| * | Use different syntax for checks that matter to typestate | Tim Chevalier | 2011-05-02 | 148 | -696/+696 |
| | | | | | | | | | | | This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc. | ||||
| * | Add a test that imports can't circumvent exports | Brian Anderson | 2011-05-01 | 1 | -0/+19 |
| | | |||||
| * | Add a regression test for use of unexported fully-qualified paths | Brian Anderson | 2011-05-01 | 1 | -0/+21 |
| | | | | | | An unexported foo.baz can't be resolved from inside foo when called as foo.baz instead of just baz. This behavior may want to change eventually. | ||||
| * | Hide unexported tag variants | Brian Anderson | 2011-05-01 | 1 | -0/+17 |
| | | |||||
| * | Implement simple module export | Brian Anderson | 2011-05-01 | 5 | -2/+83 |
| | | |||||
| * | Fix expr-alt-generic-box2.rs and un-XFAIL | Brian Anderson | 2011-05-01 | 1 | -2/+1 |
| | | |||||
| * | Un-XFAIL various tests in stage0 | Brian Anderson | 2011-05-01 | 8 | -8/+0 |
| | | |||||