on d17d9fe help sign in
all commits
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