From e327c7f2ec998a52048136e64ec2c78bc8da75c6 Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Wed, 17 Nov 2021 22:16:43 +0100
Subject: [PATCH] add warnings for as-yet unlinted layer properties
---
lib/Properties.hs | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/lib/Properties.hs b/lib/Properties.hs
index bdb7911..be6637b 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -204,11 +204,20 @@ checkLayerProperty p@(Property name _value) = case name of
"silent" -> do
isBool p
uselessEmptyLayer
+ "collides" -> isUnsupported
+ "default" -> isUnsupported
+ "exitSceneUrl" -> isUnsupported
+ "jitsiWidth" -> isUnsupported
+ "name" -> isUnsupported
+ "readableBy" -> isUnsupported
+ "writableBy" -> isUnsupported
+ "zone" -> isUnsupported
_ ->
complain $ "unknown property type " <> prettyprint name
where
isForbidden = forbidProperty name
requireProperty req = propertyRequiredBy req name
+ isUnsupported = warn $ "property " <> name <> " is not (yet) supported by walint."
-- | this property can only be used on a layer that contains at least one tiles
forbidEmptyLayer = do
--
GitLab