| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2014-06-20 | Address review comments | Jakub Wieczorek | -2/+2 | |
| 2014-06-20 | Provide a witness pattern for non-exhaustive patterns | Jakub Wieczorek | -2/+2 | |
| Fixed #4321 | ||||
| 2014-06-20 | Check pattern refutability the same way exhaustiveness is checked | Jakub Wieczorek | -0/+18 | |
