summaryrefslogtreecommitdiff
path: root/docs/users_guide/compare-flags.py
Commit message (Collapse)AuthorAgeFilesLines
* Documentation fixesKrzysztof Gogolewski2021-01-301-4/+9
| | | | | | | | | | | | | | | - Add missing :since: for NondecreasingIndentation and OverlappingInstances - Remove duplicated descriptions for Safe Haskell flags and UndecidableInstances. Instead, the sections contain a link. - compare-flags: Also check for options supported by ghci. This uncovered two more that are not documented. The flag -smp was removed. - Formatting fixes - Remove the warning about -XNoImplicitPrelude - it was written in 1996, the extension is no longer dangerous. - Fix misspelled :reverse: flags Fixes #18958.
* compare-flags: Strip whitespace from flags read from --show-optionsGHC GitLab CI2021-01-301-2/+2
| | | | Otherwise we end up with terminating \r characters on Windows.
* gitlab-ci: Set locale to C.UTF-8.Gleb Popov2020-05-211-1/+1
|
* compare-flags: Fix outputBen Gamari2020-02-141-6/+9
|
* compare-flags: Don't rely on encoding flag of subprocess.check_outputBen Gamari2020-02-141-3/+2
| | | | Apparently it isn't supported by some slightly older Python versions.
* users-guide: Fix "invalid file" failureBen Gamari2020-02-141-1/+1
| | | | I have no idea how this worked previously. Different Python version?
* docs/compare-flags: Don't use python f-stringsBen Gamari2020-02-141-4/+4
|
* gitlab-ci: Check coverage of GHC flags in users guideBen Gamari2019-10-081-0/+91
This ensures that all GHC flags are documented during the documentation build. Fixes #17315.