| Commit message (Collapse) | Author | Files | Lines |
|---|
|
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
|
|
|
|
|
|
not going to be my faviourite templating language, but it seems to work
pretty well for this.
|
|
|
|
|
|
|
|
also don't keep adjusted maps around if not necessary
|
|
(also some evaluateNF, leading to slightly less memory usage)
|
|
|
|
both these packages are hard to use, seem to be either unfinished or
abandoned, and also generally not very good.
Also for some reason they depend on `lens`. Removing them dramatically
shrunk the dependency closure!
|
|
(also, more lenses i guess)
|
|
a very simple setup that might be usable for divoc and similar small events
|
|
WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA??
(and who decided to write the least obvious combinator library to parse it?)
|
|
it's slightly less of a mess than it was before
|
|
it's not very sensible, but at least it exists
|
|
(for now, just a list of all maps and their current status)
|
|
(this is mostly a rewrite / translation of the django templates built
into rc3's hub)
|
|
|
|
|
|
Note: the server will not check submissions for duplicates!
(nor does it do any kind of rate-limiting)
|
|
|
|
adds a very basic http server that can be sent links to repositories &
will download & lint them, then answer the request with the lints.
Should probably do this in a non-blocking way …
|
|
as annoying as yaml is, cabal's package format is somehow worse, apparently
|
|
|
|
|
|
|
|
|
|
(suggestions are shown only if they have a Damerau-Levenshtein distance
<= 4, which seems to yield reasonably good results)
|
|
If --version is given, `walint` prints version information, then exists
with code 0.
|
|
might be useful to have
|
|
this just checks for maps from which it's impossible to reach
`main.json`, and then gives a warning. Properly it should check if these
maps have an exit to outside the repository (in which case it may give a
suggestion, and an error otherwise).
Also, redid some of the CheckDir code. No idea what that mess was, but
it's marginally nicer now.
|
|
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.
|
|
this allows for creating custom URI "schemas" in the linter's config,
which may be either allowed, prefixed, or translated according to
some (domain-based) substitution.
|
|
This got kinda out of hand, but it can now (a) read a json config file
and (b) patch that with another json given on the command line to change
some of the options given in the file.
No, I probably didn't need to make the `patch` function sufficiently
general to work with arbitrary records, but it was kinda fun to do.
|
|
|
|
|
|
|
|
|
|
|
|
also, configurable log level, which only required relaxing the type
system once!
|
|
(+ checking that paths don't run outside of respositories)
|
|
|
|
|
|
it's almost as if there's some structure to this code!
|
|
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 …).
|
|
(also renaming things now that concepts seem a bit clearer)
|
