diff options
author | stuebinm | 2021-12-07 14:00:34 +0100 |
---|---|---|
committer | stuebinm | 2021-12-07 14:00:34 +0100 |
commit | e2d62772cc53cb1e0dd29b5c9a864755157c3025 (patch) | |
tree | c2d53182f335a62d1cb170825bc155f4610564dd | |
parent | 6cfdefc3438100ea829b1c86e790a0f2d56ec503 (diff) |
require mapCopyright to be set
-rw-r--r-- | lib/Properties.hs | 3 |
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 |