diff options
| author | stuebinm | 2021-12-04 13:06:27 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-12 17:42:22 +0100 |
| commit | 6a67d3e41fc49e09ed6c1c02fec2946c6db9bc1f (patch) | |
| tree | f16d369c22a13c0e9a8ec733a00271c76a1234ab /lib/LintWriter.hs | |
| parent | bbde46e7db5fa23015ba09128efb27f6b7342675 (diff) | |
lints for names that are used more than twice
(previously it would just lint "can't use name twice" multiple times,
which looks kind of silly)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions