Releases: agda/fix-whitespace
Releases · agda/fix-whitespace
fix-whitespace v0.1
v0.1 Rainy Summer edition released 2023-08-07
- Flag
--verbose
now also displays locations of whitespace violations
(#7, contributed by Artem Pelenitsyn). - Tested with GHC 8.0.2 - 9.8.1-alpha1.
What's Changed (auto-generated)
- Display violations detected (fix #7) by @ulysses4ever in #44
- Split out
Data.Text.FixWhitespace
library, testsuites by @andreasabel in #46 - Bump stack CI to GHC 9.6.2 by @andreasabel in #50
- Print line violations only under
--verbose
flag by @ulysses4ever in #49 - v0.1: CHANGELOG, README, LICENSE,
--help
by @andreasabel in #52
New Contributors
- @ulysses4ever made their first contribution in #44
Full Changelog: v0.0.11...v0.1
fix-whitespace v0.0.11
fix-whitespace 0.0.11 release
fix-whitespace v0.0.10
fix-whitespace 0.0.10 binary release
fix-whitespace 0.0.8
- New option
--version
displaying program version. - Bump
base
andtext
dependencies. - Updated
stack
build: GHCs 8.10.7, 9.0.2, 9.2.2 - Tested with GHC 8.0.2 - 9.4.1 alpha.
release-0.0.7
Supported GHC 8.10.7.