summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-12-25 15:09:09 +0100
committerstuebinm2021-12-25 15:09:09 +0100
commit4c895b81c885e59e3486a3ccda0a2d78ab0a9572 (patch)
treefc8b8f27d334606084e0cf860bdc4b8e6ccab2e6
parent6f5c0d1682713ba63d98666686345b5a5d3caab0 (diff)
apply some hlint hints
-rw-r--r--lib/Properties.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 341426d..aafe61c 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -292,7 +292,7 @@ checkObjectProperty p@(Property name _) = do
$ complain "property \"soundRadius\" can only be set on objects with \
\either property \"bell\" or \"door\" also set."
- _ | name `elem` [ "default", "persist" ] -> do
+ _ | name `elem` [ "default", "persist" ] ->
suggestPropertyName' "door"
-- extended API for doors and bells
| name `elem` [ "openLayer", "closeLayer" ] -> do
@@ -329,7 +329,7 @@ checkObjectProperty p@(Property name _) = do
-- | Checks a single (custom) property of an objectgroup layer
checkObjectGroupProperty :: Property -> LintWriter Layer
checkObjectGroupProperty (Property name _) = case name of
- "getBadge" -> warn $ "the property \"getBadge\" must be set on individual objects, \
+ "getBadge" -> warn "the property \"getBadge\" must be set on individual objects, \
\not the object layer."
_ -> warn $ "unknown property " <> prettyprint name <> " for objectgroup layers"
@@ -593,7 +593,7 @@ whenLayerCollisions layers f andthen = do
-- | this property is forbidden and should not be used
forbidProperty :: HasProperties a => Text -> LintWriter a
-forbidProperty name = do
+forbidProperty name =
forbid $ "property " <> prettyprint name <> " is disallowed."
propertyRequiredBy :: HasProperties a => Text -> Text -> LintWriter a