walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-10-01	rename to walint	stuebinm	1	-1/+1

2021-09-30	remove unused Maybe	stuebinm	1	-4/+4

2021-09-30	nicer json output which leaks less haskell names	stuebinm	1	-21/+32

2021-09-30	simple map-map link dependency checking	stuebinm	1	-4/+7
	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	prettier pretty printing and stuff	stuebinm	1	-22/+26
	also, configurable log level, which only required relaxing the type system once!
2021-09-23	handle all maps in entire repositories	stuebinm	1	-22/+26
	(+ checking that paths don't run outside of respositories)
2021-09-23	very naïve handling of directories	stuebinm	1	-6/+6

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

2021-09-20	typechecking for path depths!	stuebinm	1	-8/+9
	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	-31/+28
	it is no longer an Either since that wasn't used anyways, but is now also a Reader.
2021-09-20	lint embedded tilesets	stuebinm	1	-2/+4

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

2021-09-20	lint general map properties	stuebinm	1	-6/+13

2021-09-18	collecting map dependencies	stuebinm	1	-5/+10

2021-09-18	moved types into Types.hs	stuebinm	1	-3/+4
	it's almost as if there's some structure to this code!
2021-09-18	can collect dependencies!	stuebinm	1	-7/+9
	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	tame the strings	stuebinm	1	-17/+16
	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-17	(somewhat) reasonable representation of parse errors	stuebinm	1	-13/+34
	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?
2021-09-16	input options, output json	stuebinm	1	-0/+74
	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 …).