| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
this removes:
- the bbb properties
- all explicit mentions of rc3
- the weird script domain hacks (done via a substitution now)
- some (few) of the weirder code choices
it also adds some more type level witchery to deal with configs, which
for some reason seems to be the hardest problem of this entire program …
also the server now does inter-assembly dependency checking!
|
| |
|
| |
|
|
|
|
| |
also don't keep adjusted maps around if not necessary
|
|
|
|
| |
(also some evaluateNF, leading to slightly less memory usage)
|
|
|
|
|
|
|
| |
don't add maps to the result if their lint result looks the same as that
of another list, just say it happened several times instead (this leads
to a rather confusing Eq instance for MapResult which implements a very
simple surface-level equality — perhaps change that later)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
also, the recursive check layer function slowly approaches something
like readability!
|
|
|
|
| |
it's now limited to just the first ten contexts, then an ellipsis
|
|
|
|
|
|
|
|
|
| |
So far i've never found an instance of -Wname-shadowing telling me
anything useful, so it's disabled now, and most of the other trivial
ones are fixed.
(I assume this means I'll need -Wname-shadowing in about a day or two to
find some bug ...)
|
| |
|
|
|
|
|
|
|
| |
it was kinda getting messy in places.
Also found some accidental isomorphisms between types, so these are now
only one type because the consequences were getting silly.
|
|
|
|
|
| |
this includes a halfway-reasonable parsing of object layers, as well as
some monad plumbing to get them all in the right place.
|
|
|
|
|
|
|
|
|
|
| |
Among them
- always set correct exit codes
- refuse to write out files if the out path already exists
- calculate the overall severity correctly
- slightly changed the json output schema
- also output the text output format in json
- make the default config.json suitable for a production environment
|
|
|
|
| |
we don't want to accidentally copy maps, whoopsie
|
|
|
|
|
| |
I have no idea why these even exist, but apparently they do, so here's
some code to deal with them in a hopefully useful manner …
|
|
|
|
| |
also yet another typeclass™, because why not?
|
| |
|
|
|
|
|
|
|
|
| |
(also fix some hlints)
This removes some code that was apparently dead and I never noticed. I
only noticed now since it wouldn't work with the newer versions of Aeson
anymore.
|
| |
|
|
|
|
|
|
|
|
|
| |
this also includes some more monad plumbing, and an option for the
linter to actually write things out again. Some of the previous commit
was reverted a bit since it turned out to be stupid, but overall it was
suprisingly easy once I got around to it, so yay! i guess
Also includes a fairly silly example of how to use it.
|
|
|
|
|
| |
(and one that contains almost only mempty can be written much shorter
than I thought it could)
|
| |
|
| |
|
| |
|
|
|
|
| |
the previous state was a hacky mess
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This cleans up all the old rubble that came from the Tiled package I
originally took from hackage. It now uses generics instead of
implementing all the ToJSON and FromJSON instances by hand, and
(deserialize . serialise) will now actually return a (semantically)
equivalent json.
It'll now also reject keys that it doesn't know, which required adding
some in several places which the tiled package didn't know about (or
which were introduced after it was originally written, dunno).
Several more Maybes are required now, to represent the difference
between e.g. empty lists and on set value, which does make the code
slightly weirder in other places …
|
|
|
|
|
|
| |
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 ...
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
| |
also, configurable log level, which only required relaxing the type
system once!
|
|
|
|
| |
(+ checking that paths don't run outside of respositories)
|
| |
|
| |
|
|
|
|
|
|
| |
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.
|
|
|
|
|
| |
it is no longer an Either since that wasn't used anyways, but is now
also a Reader.
|
| |
|
| |
|
| |
|
| |
|