walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	flipping the output map structure	stuebinm	2021-10-30	1	-1/+8
\| \| \| \| \| \| \| \|	for now, just with layers. Instead of listing by layer (and giving lints multiple times), list by lint type (and list all layers in which this lint was applicable). This is a bit wonky for now, but readability of output is much better.
*	simple map-map link dependency checking	stuebinm	2021-09-30	1	-0/+12
\| \| \| \| \| \| \| \|	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.
*	prettier pretty printing and stuff	stuebinm	2021-09-23	1	-5/+11
\| \| \| \| \|	also, configurable log level, which only required relaxing the type system once!
*	use PrettyPrinter more	stuebinm	2021-09-20	1	-3/+9
\|
*	typechecking for path depths!	stuebinm	2021-09-20	1	-8/+20
\| \| \| \| \| \|	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	-51/+29
\| \| \| \| \|	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	-0/+1
\|
*	lint embedded tilesets	stuebinm	2021-09-20	1	-5/+2
\|
*	lint general map properties	stuebinm	2021-09-20	1	-1/+12
\|
*	collecting map dependencies	stuebinm	2021-09-18	1	-2/+18
\|
*	moved types into Types.hs	stuebinm	2021-09-18	1	-46/+2
\| \| \| \|	it's almost as if there's some structure to this code!
*	can collect dependencies!	stuebinm	2021-09-18	1	-10/+37
\| \| \| \| \| \| \|	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	-2/+2
\| \| \| \| \| \|	/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	-4/+6
\| \| \| \| \| \|	Adds a PrettyPrint typeclass which operates on Text and should replace Show, since constantly converting strings from linked lists to arrays seems somewhat silly.
*	(somewhat) reasonable representation of parse errors	stuebinm	2021-09-17	1	-4/+7
\| \| \| \| \| \| \| \|	This makes map loading (and parsing) part of the linter, and also makes it return "general lints" and nothing else in case that failed. Possibly a sum type would be nicer here, but I guess it's not really important since everything ends up as json anyways?
*	input options, output json	stuebinm	2021-09-16	1	-12/+28
\| \| \| \| \| \| \|	input options are mostly dummies for now, but some work (e.g. --inpath and --json). Lints can now be optionally printed as json to be reasonably machine-readable (and the json can be pretty-printed to make it human-readable again …).
*	moving lots of code around	stuebinm	2021-09-16	1	-0/+61
	(also renaming things now that concepts seem a bit clearer)