summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-09-16 02:41:40 +0200
committerstuebinm2021-09-16 02:41:40 +0200
commitde81f6cac440fff159546f6423f017197db49e1a (patch)
treef70755f382013f1477a3c72875b77204f9a2ea5a
parent35566bf15f43c355bdc72d62841a850a90c8ba03 (diff)
some unused code
-rw-r--r--lib/Properties.hs7
1 files changed, 2 insertions, 5 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 0b9a71f..10cbf2c 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -5,7 +5,7 @@
module Properties (checkProperty) where
-import Control.Monad (unless, when)
+import Control.Monad (unless)
import Control.Monad.Trans.Class (lift)
import Data.Aeson as Aeson (Value (String))
import Data.Map (Map, (!?))
@@ -33,7 +33,7 @@ type Properties = Map Text Aeson.Value
-- The tests in here are meant to comply with the informal spec
-- at https://workadventu.re/map-building
--
--- In practice, the actual specifiaction of what is allowed is
+-- In practice, the actual specification of what is allowed is
-- handled in checkProperty', since apparently all possible layerProperties
-- are strings anyways, so this just extracts that string and then
-- calls that.
@@ -84,9 +84,6 @@ checkProperty' layer prop ty = case ty of
-- | require some property in this layer
requireProperty name = unless (hasProperty name layer)
$ complain $ "property "<>quote name<>" requires property "<>quote ty
- -- | forbid some property in this layer
- forbidProperty name = when (hasProperty name layer)
- $ forbid $ "property " <> quote name <> " should not be used"
-- | This property is forbidden and should not be used
isForbidden = forbid $ "property " <> quote ty <> " should not be used"
-- TODO: check if the property has the correct value