walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-09-18	type check properties	stuebinm	3	-56/+42
	/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	4	-43/+55
	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	2	-17/+41
	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	3	-13/+103
	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 …).
2021-09-16	some unused code	stuebinm	1	-5/+2

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