diff options
author | stuebinm | 2021-11-19 00:26:24 +0100 |
---|---|---|
committer | stuebinm | 2021-11-19 00:26:24 +0100 |
commit | 1734d1bd825023bc784862a13efbf3cee530c3cc (patch) | |
tree | e7d32f59caa7340071af84d7d310f783dac0c514 | |
parent | 858cdc8e4b8cfae8a4df88de63a02641a227cc70 (diff) |
add lint for empty group layers
-rw-r--r-- | lib/Properties.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs index 9f995b0..74fd72a 100644 --- a/lib/Properties.hs +++ b/lib/Properties.hs @@ -118,9 +118,16 @@ checkLayer = do case layerType layer of "tilelayer" -> mapM_ checkLayerProperty (getProperties layer) + "group" -> pure () ty -> unless (layerName layer == "floorLayer" && ty == "objectgroup") $ complain "only tilelayer are supported." + if layerType layer == "group" + then when (null (layerLayers layer)) + $ warn "Empty group layers are pointless." + else when (isJust (layerLayers layer)) + $ complain "Layer is not of type \"group\", but has sublayers." + -- | Checks a single (custom) property of a layer -- |