| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-05-31 | More tests for <-. | Michael Sullivan | -7/+41 | |
| 2011-05-31 | Add some simple tests for move. | Michael Sullivan | -0/+25 | |
| 2011-05-31 | rustc: Teach rustc to use block results as fn return values. Closes #372 | Brian Anderson | -0/+87 | |
| 2011-05-31 | change fn to pred in pred-on-wrong-slots (but it's still xfailed | Tim Chevalier | -1/+1 | |
| 2011-05-31 | rustc: Pushdown type params for tag patterns. Closes #363 | Brian Anderson | -0/+15 | |
| 2011-05-27 | In pre/postcondition computation, failing calls should set the postcondition | Tim Chevalier | -0/+30 | |
| A non-returning call should have a postcondition in which all predicates are true -- not just a poststate. Otherwise, alt expressions where one or more branches terminate in a non-returning call and others initialize a variable get rejected. Includes a test case. | ||||
| 2011-05-27 | Check the declaration type in a for loop against the sequence type | Tim Chevalier | -0/+23 | |
| Changed the typechecker to correctly typecheck the declared variable type in a for or for-each loop against the vector element type (for a for loop) or the iterator type (for a for-each loop). Added a test case. | ||||
| 2011-05-27 | Re-XFAIL, not valgrind-clean. | Graydon Hoare | -0/+6 | |
| 2011-05-27 | Switched calling conventions so that spawn with multiple arguments works. | Eric Holk | -2/+2 | |
| 2011-05-27 | Switching over to wrappers for spawning functions of multiple arguments. ↵ | Eric Holk | -4/+37 | |
| Doesn't quite work yet. | ||||
| 2011-05-27 | Un-XFAILing spawn tests. | Eric Holk | -6/+0 | |
| 2011-05-27 | Programs using spawn terminate | Eric Holk | -1/+1 | |
| 2011-05-27 | Working on 2 argument spawn. The arguments seem to be copied correctly once, ↵ | Eric Holk | -0/+15 | |
| but then they get lost. | ||||
| 2011-05-27 | Arguments seem to be correctly passed to child processes now. | Eric Holk | -1/+1 | |
| 2011-05-27 | Test case showing that issue 324 is resolved. | Lindsey Kuper | -0/+39 | |
| 2011-05-27 | Change the syntax for RECV from "var <- port" to "port |> var". | Michael Sullivan | -75/+75 | |
| 2011-05-27 | Remove parser support for recv as an initializer in preparation for changing ↵ | Michael Sullivan | -24/+25 | |
| the recv syntax. | ||||
| 2011-05-26 | Test for use of break as an expression | Tim Chevalier | -0/+13 | |
| The test was meant to verify that the typechecker correctly allows a _|_ value (break, here) to be used in any context. However, the compiler fails with an LLVM assertion failure. I xfailed it, but wanted it to be on the record anyway. | ||||
| 2011-05-26 | Make _|_ unify with anything | Tim Chevalier | -0/+45 | |
| The typechecker had a number of special cases for unifying types with _|_ (as with checking if and alt). But, a value of type _|_ should be usable in any context, as such a value always diverges, and will never be used by its immediate context. Changed unify accordingly, removed special cases. | ||||
| 2011-05-27 | Handle circularity in glob imports in a more elegant fashion. | Paul Stansifer | -13/+21 | |
| 2011-05-27 | Add a map from def_id s to items in resolve::env. | Paul Stansifer | -0/+34 | |
| Use it to provide better error messages in the event of glob-importing the same name multiple times. | ||||
| 2011-05-27 | Fix bugs: make sure glob imports show up in the right module, | Paul Stansifer | -5/+86 | |
| and make sure that circular glob imports don't diverge. | ||||
| 2011-05-27 | Add list function 'has'. | Paul Stansifer | -0/+12 | |
| 2011-05-27 | "import module::*;" now works. | Paul Stansifer | -0/+108 | |
| 2011-05-27 | Added filter_map. | Paul Stansifer | -0/+24 | |
| 2011-05-26 | Fix testcase to be slightly less fussy about line number of error, as it ↵ | Graydon Hoare | -1/+1 | |
| just drifted. | ||||
| 2011-05-26 | Track spans for each local variable in typestate | Tim Chevalier | -0/+25 | |
| This lets us print better messages in situations with name shadowing. | ||||
| 2011-05-26 | Remove native glues. All calls to C are direct now. | Graydon Hoare | -0/+5 | |
| 2011-05-25 | rustc: Fail better when the first argument to #fmt is not a string literal | Brian Anderson | -0/+9 | |
| 2011-05-25 | rustc: Fail when #fmt is given too many arguments | Brian Anderson | -0/+8 | |
| 2011-05-24 | test: Fix run-fail testing and bring tests up to date | Brian Anderson | -20/+2 | |
| A typo in the Makefile was causing these to not run. Happily, a lot of these tests pass, so un-xfailed. | ||||
| 2011-05-24 | test: xfail vector-no-ann-2 in stage0 | Brian Anderson | -0/+2 | |
| 2011-05-24 | rustc: Use demand functions instead of open-coded typecheck for spawn | Brian Anderson | -2/+0 | |
| Un-xfail spawn-non-nil-fn | ||||
| 2011-05-24 | Add quick_sort3 function based on 'QuicksortIsOptimal.pdf' (see comments in ↵ | Kelly Wilson | -0/+66 | |
| file). Cleanup the quick_sort function a little, as well. Add test file. | ||||
| 2011-05-24 | Stop showing a 'cyclic import' message for unresolved imports | Marijn Haverbeke | -5/+8 | |
| This only happened for single-length import paths, because the import was being looked up in its own scope. | ||||
| 2011-05-24 | Improve nonexistent-module error message | Tim Chevalier | -0/+7 | |
| The error message for (for example) "import vec;" without "use std;" was "cyclic import", which was misleading because there were no cycles. I changed it to "cyclic import or nonexistent module", which doesn't break existing tests. | ||||
| 2011-05-23 | test: Remove compile-fail/export-boot.rs | Brian Anderson | -21/+0 | |
| This was a rustboot-specific test which is covered by other tests in rustc. | ||||
| 2011-05-23 | test: Un-xfail some compile-fail tests | Brian Anderson | -23/+2 | |
| Changed a few error patterns to match rustc's errors where it seemed reasonable. | ||||
| 2011-05-23 | Un-XFAIL vector-no-ann | Tim Chevalier | -5/+1 | |
| and update it to reflect the new friendly error message | ||||
| 2011-05-23 | test: Un-xfail some working tests | Brian Anderson | -25/+8 | |
| 2011-05-23 | Typecheck @[] correctly | Tim Chevalier | -5/+3 | |
| Previously, if you wrote let @vec[int] foo = @[]; that would be a type error. That didn't seem right, so I changed pushdown to unify the inner type in an unop application with the argument type of the operator type. | ||||
| 2011-05-23 | Un-xfail test/run-pass/mlist | Marijn Haverbeke | -3/+0 | |
| 2011-05-23 | Un-xfail test/run-pass/use-import-export | Marijn Haverbeke | -4/+0 | |
| 2011-05-22 | stdlib: Add regression tests for std::str | Brian Anderson | -0/+9 | |
| 2011-05-22 | stdlib: Add regression tests for std::map | Brian Anderson | -0/+18 | |
| 2011-05-22 | stdlib: Add regression tests for std::list | Brian Anderson | -0/+41 | |
| 2011-05-22 | stdlib: Add list::from_vec | Brian Anderson | -0/+16 | |
| 2011-05-22 | stdlib: Report an error when getopts is given an argument to a flag option | Brian Anderson | -4/+9 | |
| 2011-05-22 | stdlib: Add regression tests for std::getopts | Brian Anderson | -0/+538 | |
| 2011-05-22 | stdlib: Add regression test for fs::connect and a FIXME | Brian Anderson | -0/+15 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |