diff options
author | stuebinm | 2021-12-25 15:09:09 +0100 |
---|---|---|
committer | stuebinm | 2021-12-25 15:09:09 +0100 |
commit | 4c895b81c885e59e3486a3ccda0a2d78ab0a9572 (patch) | |
tree | fc8b8f27d334606084e0cf860bdc4b8e6ccab2e6 | |
parent | 6f5c0d1682713ba63d98666686345b5a5d3caab0 (diff) |
apply some hlint hints
-rw-r--r-- | lib/Properties.hs | 6 |
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 |