diff options
author | stuebinm | 2021-12-25 03:01:26 +0100 |
---|---|---|
committer | stuebinm | 2021-12-25 03:01:26 +0100 |
commit | e63907715ef788b256e0a6cedbda31648b0a71c2 (patch) | |
tree | 1e7038018f51a0cd7d0bd4d016168edb8d5754e1 | |
parent | 4950d28432b0ae49c3d03bfddca4040c42d8ee72 (diff) |
hint if people set collides on tilesets
-rw-r--r-- | lib/Properties.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs index b2d4974..51fa567 100644 --- a/lib/Properties.hs +++ b/lib/Properties.hs @@ -197,7 +197,8 @@ checkTileset = do checkTilesetProperty :: Property -> LintWriter Tileset checkTilesetProperty p@(Property name _value) = case name of "tilesetCopyright" -> naiveEscapeProperty p - _ -> warn $ "unknown tileset property " <> prettyprint name + "collides" -> warn "property \"collides\" should be set on individual tiles, not the tileset" + _ -> warn $ "unknown tileset property " <> prettyprint name checkTile :: Tile -> LintWriter Tileset checkTile tile = do |