walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	more sensible msg for "property required by"-lints	stuebinm	2021-10-30	1	-1/+8
\| \| \| \| \|	the previous state appears to have been an oversight and made no sense at all.
*	add tileset property linting	stuebinm	2021-10-30	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 ...
*	add warning for very large tileset images	stuebinm	2021-10-30	1	-2/+3
\|
*	simple map-map link dependency checking	stuebinm	2021-09-30	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.
*	very naïve handling of directories	stuebinm	2021-09-23	1	-1/+1
\|
*	use PrettyPrinter more	stuebinm	2021-09-20	1	-4/+3
\|
*	typechecking for path depths!	stuebinm	2021-09-20	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.
*	rebuilding the core LintWriter monad	stuebinm	2021-09-20	1	-11/+11
\| \| \| \| \|	it is no longer an Either since that wasn't used anyways, but is now also a Reader.
*	simple parsing of local dependency paths	stuebinm	2021-09-20	1	-11/+16
\|
*	moving code around	stuebinm	2021-09-20	1	-57/+69
\|
*	lint embedded tilesets	stuebinm	2021-09-20	1	-2/+13
\|
*	lint map things that aren't custom properties	stuebinm	2021-09-20	1	-4/+31
\|
*	lint general map properties	stuebinm	2021-09-20	1	-63/+94
\|
*	some properties require non-empty layers	stuebinm	2021-09-19	1	-41/+78
\|
*	support for properties that aren't strings	stuebinm	2021-09-19	1	-36/+52
\| \| \| \|	apparently i couldn't read or something?
*	collecting map dependencies	stuebinm	2021-09-18	1	-8/+22
\|
*	can collect dependencies!	stuebinm	2021-09-18	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)
*	type check properties	stuebinm	2021-09-18	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
*	tame the strings	stuebinm	2021-09-18	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.
*	some unused code	stuebinm	2021-09-16	1	-5/+2
\|
*	moving lots of code around	stuebinm	2021-09-16	1	-0/+116
	(also renaming things now that concepts seem a bit clearer)