diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-01-30 08:45:49 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-02-01 12:29:26 -0500 |
| commit | 88fba8a4b3c22e953a634b81dd0b67ec66eb5e72 (patch) | |
| tree | 75a46332ad32cfeaf4f4d52b3b60fd452f2493b6 /testsuite/driver/testlib.py | |
| parent | 06185102bb06d6d56e00d40172a6a473fc228501 (diff) | |
| download | haskell-88fba8a4b3c22e953a634b81dd0b67ec66eb5e72.tar.gz | |
Fix a few Note inconsistencies
Diffstat (limited to 'testsuite/driver/testlib.py')
| -rw-r--r-- | testsuite/driver/testlib.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 6b6462f527..423cd99313 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -992,6 +992,7 @@ def test(name: TestName, return else: # Note [Mutating config.only] + # ~~~~~~~~~~~~~~~~~~~~~~~~~~~ # config.only is initially the set of tests requested by # the user (via 'make TEST='). We then remove all tests that # we've already seen (in .T files), so that we can later @@ -2006,7 +2007,7 @@ def write_file(f: Path, s: str) -> None: h.write(s) # Note [Universal newlines] -# +# ~~~~~~~~~~~~~~~~~~~~~~~~~ # We don't want to write any Windows style line endings ever, because # it would mean that `make accept` would touch every line of the file # when switching between Linux and Windows. @@ -2202,7 +2203,7 @@ def grep_output(normaliser: OutputNormalizer, pattern_file, actual_file, is_subs return success # Note [Output comparison] -# +# ~~~~~~~~~~~~~~~~~~~~~~~~ # We do two types of output comparison: # # 1. To decide whether a test has failed. We apply a `normaliser` and an @@ -2218,7 +2219,7 @@ def grep_output(normaliser: OutputNormalizer, pattern_file, actual_file, is_subs # possible (#10152). # Note [Null device handling] -# +# ~~~~~~~~~~~~~~~~~~~~~~~~~~~ # On windows the null device is 'nul' instead of '/dev/null'. # This can in principle be easily solved by using os.devnull. # Not doing so causes issues when python tries to read/write/open |