| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-11-18 | Update stdlib, compiler, and tests to new kind system | Marijn Haverbeke | -1/+1 | |
| This involved adding 'copy' to more generics than I hoped, but an experiment with making it implicit showed that that way lies madness -- unless enforced, you will not remember to mark functions that don't copy as not requiring copyable kind. Issue #1177 | ||||
| 2011-10-25 | Update our code to new type parameter kind syntax | Marijn Haverbeke | -1/+1 | |
| Closes #1067 | ||||
| 2011-10-20 | Make fn denote a bare function. Convert fn to fn@ as needed | Brian Anderson | -1/+1 | |
| 2011-10-07 | Add pass-by-ref annotation to the tests to make them typecheck | Marijn Haverbeke | -1/+1 | |
| Issue #1008 | ||||
| 2011-09-26 | Enforce copy restrictions on let initializers | Brian Anderson | -1/+1 | |
| 2011-09-12 | Reformat for new mode syntax, step 1 | Marijn Haverbeke | -4/+4 | |
| Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit. | ||||
| 2011-08-20 | Reformat | Brian Anderson | -1/+1 | |
| This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] | ||||
| 2011-08-16 | Port the tests to the expr foo::<T> syntax. | Erick Tryzelaar | -2/+2 | |
| 2011-08-16 | Port the tests to the decl foo<T> syntax. | Erick Tryzelaar | -2/+2 | |
| 2011-08-16 | Port the tests to the typaram foo<T> syntax. | Erick Tryzelaar | -2/+2 | |
| 2011-07-27 | Reformat for new syntax | Marijn Haverbeke | -8/+8 | |
| 2011-07-26 | Remove uses of tuples from the test suite | Marijn Haverbeke | -6/+6 | |
| 2011-06-15 | Reformat source tree (minus a couple tests that are still grumpy). | Graydon Hoare | -19/+15 | |
| 2011-05-14 | Remove xfail-boot lines from tests | Brian Anderson | -1/+0 | |
| 2011-05-02 | Un-revert "Use different syntax for checks that matter to typestate", fixing ↵ | Patrick Walton | -1/+1 | |
| the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118. | ||||
| 2011-05-02 | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | -1/+1 | |
| This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet. | ||||
| 2011-05-02 | Use different syntax for checks that matter to typestate | Tim Chevalier | -1/+1 | |
| 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. | ||||
| 2011-04-07 | Make block results work for generic types | Brian Anderson | -20/+0 | |
| 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. | ||||
| 2011-03-28 | Add partial support for if expressions resulting in generic types | Brian Anderson | -0/+53 | |
