on 90e4d45 help sign in
all commits
52e43bbDisallow equivalent representations of the same typeEvan Czaplicki fe1d53aRefactor representation of "exposing" and documentationEvan Czaplicki 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