diff options
Diffstat (limited to 'walint/Properties.hs')
| -rw-r--r-- | walint/Properties.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/walint/Properties.hs b/walint/Properties.hs index 7b5a181..2f4e64a 100644 --- a/walint/Properties.hs +++ b/walint/Properties.hs @@ -270,7 +270,7 @@ checkObjectProperty p@(Property name _) = do unwrapURI (Proxy @"website") p (dependsOn . Link) (const $ forbid "using \"url\" to open local html files is disallowed.") - unless (objectType obj == "website") + unless (objectType obj == Just "website") $ complain "\"url\" can only be set for objects of type \"website\"" "getBadge" -> do when (1 /= length (getProperties obj)) @@ -305,7 +305,7 @@ checkObjectProperty p@(Property name _) = do -- extended API for doors and bells | name `elem` ["door", "bell"] -> do isBool p - unless (objectType obj == "variable") $ + unless (objectType obj == Just "variable") $ complain $ "the "<>prettyprint name<>" property should only be set \ \on objects of type \"variable\"" when (isNothing (objectName obj) || objectName obj == Just mempty) $ |