From e2d62772cc53cb1e0dd29b5c9a864755157c3025 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Tue, 7 Dec 2021 14:00:34 +0100
Subject: require mapCopyright to be set

---
 lib/Properties.hs | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3