| Commit message (Collapse) | Author | 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
|
|
as annoying as yaml is, cabal's package format is somehow worse, apparently
|
|
|
|
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)
|
|
|
|
|
|
(audio links now have their own allowlist, which won't put things
through the dereferrer)
|
|
(suggestions are shown only if they have a Damerau-Levenshtein distance
<= 4, which seems to yield reasonably good results)
|
|
as per yesterday's discussion about extended scripting variables
|
|
|
|
these now have their own top-level config attribute which is essentially a
shorthand for setting one that's deeper nested.
|
|
|
|
|
