summaryrefslogtreecommitdiff
path: root/lib/LintWriter.hs
diff options
context:
space:
mode:
authorstuebinm2021-12-04 13:06:27 +0100
committerstuebinm2021-12-12 17:42:22 +0100
commit6a67d3e41fc49e09ed6c1c02fec2946c6db9bc1f (patch)
treef16d369c22a13c0e9a8ec733a00271c76a1234ab /lib/LintWriter.hs
parentbbde46e7db5fa23015ba09128efb27f6b7342675 (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