summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-12-07 14:00:34 +0100
committerstuebinm2021-12-07 14:00:34 +0100
commite2d62772cc53cb1e0dd29b5c9a864755157c3025 (patch)
treec2d53182f335a62d1cb170825bc155f4610564dd
parent6cfdefc3438100ea829b1c86e790a0f2d56ec503 (diff)
require mapCopyright to be set
-rw-r--r--lib/Properties.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index a9bf113..1d87311 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -68,6 +68,9 @@ checkMap = do
unless (tiledmapTileheight tiledmap == 32 && tiledmapTilewidth tiledmap == 32)
$ complain "The map's tile size must be 32 by 32 pixels."
+ unlessHasProperty "mapCopyright"
+ $ error "must give the map's copyright via the \"mapCopyright\" property."
+
-- | Checks a single property of a map.
--
-- Doesn't really do all that much, but could in theory be expanded into a