]>
2018-08-16 | varkor | Add guarded arms to tests | blob | commitdiff | raw |
2018-08-16 | varkor | Replace ... with ..= in suggestions | blob | commitdiff | raw | diff to current |
2018-08-16 | varkor | Fix sign conversion arithmetic errors | blob | commitdiff | raw | diff to current |
2018-08-16 | varkor | Add singleton patterns to test | blob | commitdiff | raw | diff to current |
2018-08-16 | varkor | Fix range splitting | blob | commitdiff | raw | diff to current |
2018-08-16 | varkor | Add semi-exhaustive tests for exhaustiveness | blob | commitdiff | raw | diff to current |