| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-02-15 | Rewrite exhaustiveness checker | Marijn Haverbeke | -1/+4 | |
| 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. | ||||
| 2011-09-23 | Create a bunch of test cases for unique boxes by copying box tests | Brian Anderson | -0/+9 | |
| XFAIL the ones that don't work Issue #409 | ||||
