From de81f6cac440fff159546f6423f017197db49e1a Mon Sep 17 00:00:00 2001 From: stuebinm Date: Thu, 16 Sep 2021 02:41:40 +0200 Subject: some unused code --- lib/Properties.hs | 7 ++----- 1 file 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 -- cgit v1.2.3