From f62af2a10460bc2092bcd1c32aea893f93a0569b Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Sat, 18 Dec 2021 14:48:27 +0100
Subject: [PATCH] fix some weird lints
(since we're starting to get maps that actually pass linting, we also
get to find more bugs! yay!)
---
lib/Properties.hs | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/lib/Properties.hs b/lib/Properties.hs
index f6e2e0c..beca7e8 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -166,7 +166,7 @@ checkTileset = do
where
checkTilesetProperty :: Property -> LintWriter Tileset
checkTilesetProperty p@(Property name _value) = case name of
- "copyright" -> naiveEscapeProperty p
+ "tilesetCopyright" -> naiveEscapeProperty p
_ -> warn $ "unknown tileset property " <> prettyprint name
checkTile :: Tile -> LintWriter Tileset
@@ -349,7 +349,6 @@ checkTileLayerProperty p@(Property name _value) = case name of
unwrapURI (Proxy @"map") p
(\link -> do
dependsOn (MapLink link)
- warn $ "resolved link" <> link
setProperty "exitUrl" link
)
$ \path ->
--
GitLab