diff options
author | stuebinm | 2021-11-17 22:16:43 +0100 |
---|---|---|
committer | stuebinm | 2021-11-17 22:16:43 +0100 |
commit | e327c7f2ec998a52048136e64ec2c78bc8da75c6 (patch) | |
tree | b2c65fe270a9f94241ceb0476e5f797144a9cd0f | |
parent | 2464f639292dbf1f765b1937e06bbfd99fbec319 (diff) |
add warnings for as-yet unlinted layer properties
-rw-r--r-- | lib/Properties.hs | 9 |
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 |