From 1734d1bd825023bc784862a13efbf3cee530c3cc Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Fri, 19 Nov 2021 00:26:24 +0100
Subject: [PATCH] add lint for empty group layers
---
lib/Properties.hs | 7 +++++++
1 file changed, 7 insertions(+)
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
--
--
GitLab