walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-10-30	make aeson instances agree with themselves	stuebinm	1	-14/+7
	This cleans up all the old rubble that came from the Tiled package I originally took from hackage. It now uses generics instead of implementing all the ToJSON and FromJSON instances by hand, and (deserialize . serialise) will now actually return a (semantically) equivalent json. It'll now also reject keys that it doesn't know, which required adding some in several places which the tiled package didn't know about (or which were introduced after it was originally written, dunno). Several more Maybes are required now, to represent the difference between e.g. empty lists and on set value, which does make the code slightly weirder in other places …
2021-10-30	more sensible msg for "property required by"-lints	stuebinm	1	-1/+8
	the previous state appears to have been an oversight and made no sense at all.
2021-10-30	add tileset property linting	stuebinm	1	-6/+23
	this reorganised the whole linting for tilesets somewhat; it's now very similar to that linting layers, and it may be possible to abstract some of the code away ...
2021-10-30	add warning for very large tileset images	stuebinm	1	-2/+3

2021-09-30	simple map-map link dependency checking	stuebinm	1	-1/+4
	This is purely based on a set difference, i.e. it won't catch stupid things like a map linking to itself, a map link going only one-way, etc. Also, it only handles map links; it doesn't check if all ressource files referenced by a map actually exist.
2021-09-23	very naïve handling of directories	stuebinm	1	-1/+1

2021-09-20	use PrettyPrinter more	stuebinm	1	-4/+3

2021-09-20	typechecking for path depths!	stuebinm	1	-53/+67
	This now checks if relative paths are still inside the repository, as a general safety mechanism to stop the linter from accidentally reading other things, as well as a nice hint for users.
2021-09-20	rebuilding the core LintWriter monad	stuebinm	1	-11/+11
	it is no longer an Either since that wasn't used anyways, but is now also a Reader.
2021-09-20	simple parsing of local dependency paths	stuebinm	1	-11/+16

2021-09-20	moving code around	stuebinm	1	-57/+69

2021-09-20	lint embedded tilesets	stuebinm	1	-2/+13

2021-09-20	lint map things that aren't custom properties	stuebinm	1	-4/+31

2021-09-20	lint general map properties	stuebinm	1	-63/+94

2021-09-19	some properties require non-empty layers	stuebinm	1	-41/+78

2021-09-19	support for properties that aren't strings	stuebinm	1	-36/+52
	apparently i couldn't read or something?
2021-09-18	collecting map dependencies	stuebinm	1	-8/+22

2021-09-18	can collect dependencies!	stuebinm	1	-6/+8
	There's now a Lint type, which may be either a "true lint" (which is a Hint, which contains some message and level of severity), or a Depends, which indicates that this map depends on some ressource or other (and is otherwise treated as a special info Hint in all other cases)
2021-09-18	type check properties	stuebinm	1	-53/+15
	/finally/ figured out that all properties just look like {name, value, type} so now that's abstracted away and Properties.hs doesn't look like javascript anymore
2021-09-18	tame the strings	stuebinm	1	-8/+9
	Adds a PrettyPrint typeclass which operates on Text and should replace Show, since constantly converting strings from linked lists to arrays seems somewhat silly.
2021-09-16	some unused code	stuebinm	1	-5/+2

2021-09-16	moving lots of code around	stuebinm	1	-0/+116
	(also renaming things now that concepts seem a bit clearer)