summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-11-17 22:16:43 +0100
committerstuebinm2021-11-17 22:16:43 +0100
commite327c7f2ec998a52048136e64ec2c78bc8da75c6 (patch)
treeb2c65fe270a9f94241ceb0476e5f797144a9cd0f
parent2464f639292dbf1f765b1937e06bbfd99fbec319 (diff)
add warnings for as-yet unlinted layer properties
-rw-r--r--lib/Properties.hs9
1 files changed, 9 insertions, 0 deletions
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