From e2d62772cc53cb1e0dd29b5c9a864755157c3025 Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Tue, 7 Dec 2021 14:00:34 +0100
Subject: [PATCH] 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
--
GitLab