on 1c3cda7 help sign in
all commits
077322cRethink the error messages for exhaustiveness checksEvan Czaplicki 2feb357Begin upgrade of Reporting code from String to TextEvan Czaplicki 36d38dbSwitch some AST modules from toString to toBuilder or toTextEvan Czaplicki 2a9c8d7Make error format a bit nicer for incomplete patternsEvan Czaplicki 626b319Add back redundancy checkEvan Czaplicki 4f5db92Revert "Merge pull request #1470 from brianhempel/faster_builds"Evan Czaplicki a3ef05fSpeed up exhaustiveness checker.Brian Hempel b091deaFix #1120, stop trying to guess how exactly the pattern came to be unhandedEvan Czaplicki 656bfb7Switch Reports to use Docs for pre and post hintsEvan Czaplicki 74db13fGet rid of Show and Pretty instances for AST typesEvan Czaplicki 5d8dfd9Improve error messages for incomplete patterns in args and let-bindingsEvan Czaplicki d119ce2Remove unused importsEvan Czaplicki db98abeImprove presentation of incomplete patterns in error messagesEvan Czaplicki 8f6ebddAdd newlines in "missing patterns" error messageEvan Czaplicki 99a44a0Turn incomplete pattern matches into a static errorEvan Czaplicki