summaryrefslogtreecommitdiff
path: root/lib/Properties.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* more sensible msg for "property required by"-lintsstuebinm2021-10-301-1/+8
| | | | | the previous state appears to have been an oversight and made no sense at all.
* add tileset property lintingstuebinm2021-10-301-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 imagesstuebinm2021-10-301-2/+3
|
* simple map-map link dependency checkingstuebinm2021-09-301-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 directoriesstuebinm2021-09-231-1/+1
|
* use PrettyPrinter morestuebinm2021-09-201-4/+3
|
* typechecking for path depths!stuebinm2021-09-201-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 monadstuebinm2021-09-201-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 pathsstuebinm2021-09-201-11/+16
|
* moving code aroundstuebinm2021-09-201-57/+69
|
* lint embedded tilesetsstuebinm2021-09-201-2/+13
|
* lint map things that aren't custom propertiesstuebinm2021-09-201-4/+31
|
* lint general map propertiesstuebinm2021-09-201-63/+94
|
* some properties require non-empty layersstuebinm2021-09-191-41/+78
|
* support for properties that aren't stringsstuebinm2021-09-191-36/+52
| | | | apparently i couldn't read or something?
* collecting map dependenciesstuebinm2021-09-181-8/+22
|
* can collect dependencies!stuebinm2021-09-181-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 propertiesstuebinm2021-09-181-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 stringsstuebinm2021-09-181-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 codestuebinm2021-09-161-5/+2
|
* moving lots of code aroundstuebinm2021-09-161-0/+116
(also renaming things now that concepts seem a bit clearer)