| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-02-15 | Rewrite exhaustiveness checker | Marijn Haverbeke | -1/+1 | |
| Issue #352 Closes #1720 The old checker would happily accept things like 'alt x { @some(a) { a } }'. It now properly descends into patterns, checks exhaustiveness of booleans, and complains when number/string patterns aren't exhaustive. | ||||
| 2012-02-11 | make bind syntax unnecessary: just use _ for one of the arguments | Niko Matsakis | -1/+1 | |
| 2012-01-05 | Switch to new param kind bound syntax | Marijn Haverbeke | -1/+1 | |
| And remove support for the old syntax | ||||
| 2012-01-02 | Add 'copy' bounds to functions that were faultily accepted without | Marijn Haverbeke | -1/+1 | |
| Issue #1390 | ||||
| 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-23 | Create a bunch of test cases for unique boxes by copying box tests | Brian Anderson | -0/+18 | |
| XFAIL the ones that don't work Issue #409 | ||||
