| Commit message (Collapse) | Author | Files | Lines |
|---|
|
unfortunately, there seems to be no better way than hiding them
manually, so this code will still break once they remove them.
|
|
This does many meta-things, but changes no functionality:
- get rid of stack, and use just cabal with a stackage snapshot instead
(why did I ever think stack was a good idea?)
- update the stackage snapshot to something halfway recent
- thus making builds work on nixpkgs-23.05 (current stable)
- separating out packages into their own cabal files
- use the GHC2021 set of extensions as default
- very slight code changes to make things build again
- update readme accordingly
- stylish-haskell run
|
|
|
|
this has been bothering me for MONTHS, and it compiles faster now. also fixed some warnings
|
|
(meant for use of this server without exneuland / the whole map
resolution api on a dump simple workadventure backend)
|
|
|
|
(actually i feel like there should be an easteregg or sth for maps that
really pass everything, but i can't think of something fitting)
|
|
before this, the server would fetch updates but then not update the
corresponding reference, leading to the initial state being checked out
and linted again.
|
|
|
|
|
|
This includes the backlink to the lobby (auto-generated only for now)
and a "help!"-button for sending mails. Also general info regarding
which commit was linted / published.
|
|
(this also adds general cli arguments, but the main point is that
downloading monstrously large repositories is a silly idea when i'm on a
train with surprisingly bad wifi)
|
|
(though apparently there's no way to set the -LC option? would look much
nicer with that …)
|
|
|
|
(i.e. we want to still have a valid version of the map if new results
where introduced)
|
|
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!
|
|
|
|
bootstrap is horrible and should be replaced
|
|
|
|
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
|
|
|
|
|
|
|
|
also don't keep adjusted maps around if not necessary
|
|
(also some evaluateNF, leading to slightly less memory usage)
|
|
(really a lot of these data structures should be eagerly evaluated into
normal form, i suspect there's still a lot to be gained)
|
|
|
|
|
|
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 …
|
