diff options
author | stuebinm | 2021-12-16 16:12:39 +0100 |
---|---|---|
committer | stuebinm | 2021-12-16 16:12:39 +0100 |
commit | 7c29b52da8e1d73b26c74f278cfc66bb0febed16 (patch) | |
tree | 8fd647052c2cec17f2e32f8b7d61180646ace66b /lib/CheckMap.hs | |
parent | 9e5ecf2bd3be27be6e8d1dd9f0bf8d80cf1eaa30 (diff) |
fixed some warnings (and disabled others)
So far i've never found an instance of -Wname-shadowing telling me
anything useful, so it's disabled now, and most of the other trivial
ones are fixed.
(I assume this means I'll need -Wname-shadowing in about a day or two to
find some bug ...)
Diffstat (limited to 'lib/CheckMap.hs')
-rw-r--r-- | lib/CheckMap.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/CheckMap.hs b/lib/CheckMap.hs index 0fe76ba..ba92d6a 100644 --- a/lib/CheckMap.hs +++ b/lib/CheckMap.hs @@ -161,7 +161,7 @@ checkLayerRec config depth layers = -- human-readable lint output, e.g. for consoles instance PrettyPrint (Level, MapResult) where - prettyprint (level, mapResult) = if complete == "" + prettyprint (_, mapResult) = if complete == "" then " all good!\n" else complete where complete = T.concat $ prettyGeneral |