diff options
| author | stuebinm | 2021-09-16 02:41:40 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-16 02:41:40 +0200 |
| commit | de81f6cac440fff159546f6423f017197db49e1a (patch) | |
| tree | f70755f382013f1477a3c72875b77204f9a2ea5a | |
| parent | 35566bf15f43c355bdc72d62841a850a90c8ba03 (diff) | |
some unused code
| -rw-r--r-- | lib/Properties.hs | 7 |
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 |