on 3f6ffc3 help sign in
all commits
2feb357Begin upgrade of Reporting code from String to TextEvan Czaplicki a672aa7Upgrade Nitpick code from String to TextEvan Czaplicki 2a9c8d7Make error format a bit nicer for incomplete patternsEvan Czaplicki c5b225dIntroduce faster exhaustiveness checkerEvan Czaplicki 4f5db92Revert "Merge pull request #1470 from brianhempel/faster_builds"Evan Czaplicki a3ef05fSpeed up exhaustiveness checker.Brian Hempel 3bd0d85Primarily rename *Pattern and *Decl to just * in a ton of placesEvan Czaplicki cd62e81Improve error message when there are unhanded literals in a patternEvan Czaplicki 1120001Fix #1077 where complete cases on booleans were handled wrongEvan Czaplicki db98abeImprove presentation of incomplete patterns in error messagesEvan Czaplicki c2e4a69Pleasant messages when a pattern is missingEvan Czaplicki 9d9e439Fix tag lookup, add check to the compilation pipelineEvan Czaplicki d9cf19aRemove final newlineEvan Czaplicki 511475bRefactor to make Nitpick code simpler/clearerEvan Czaplicki