summaryrefslogtreecommitdiff
path: root/lib/Properties.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* a year went byHEADmainstuebinm2023-10-241-753/+0
| | | | | | | | | | | | | 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
* remove mentions of divocstuebinm2022-10-111-1/+1
|
* code formatterstuebinm2022-10-111-2/+3
|
* Revert "linter: link hackery for divoc fallback"stuebinm2022-10-111-3/+1
| | | | This reverts commit f116e6487f1041f12b9ea1e4e6a7aef18ff783bb.
* linter: link hackery for divoc fallbackstuebinm2022-04-141-1/+3
|
* linter: unless ain't the same as ifstuebinm2022-04-071-1/+1
|
* linter: collect jitsi rooms of mapsstuebinm2022-04-061-2/+5
|
* linter: collect content warningsstuebinm2022-04-041-2/+9
|
* linter: some work on lintsstuebinm2022-03-191-34/+41
|
* unbreak a very, very long rebasestuebinm2022-03-191-5/+4
|
* remove leftover rc3 things & some new stuffstuebinm2022-03-191-40/+28
| | | | | | | | | | | | | 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!
* linter: remove bbb-simulating codestuebinm2022-03-191-31/+3
|
* make tiled stricter (and organise some imports)stuebinm2022-03-191-31/+31
|
* separate tiled modules out into own packagestuebinm2022-03-191-6/+5
|
* switch to universum preludestuebinm2022-03-191-39/+36
| | | | also don't keep adjusted maps around if not necessary
* use hpack and clean up modulesstuebinm2022-03-191-3/+4
| | | | as annoying as yaml is, cabal's package format is somehow worse, apparently
* use url package for parsing of urlsjonny2022-03-191-3/+9
|
* fixed url injection by means of starting an url with "." and turning the ↵jonathan2022-03-191-1/+8
| | | | prefix into a subdomain
* apparently people are using inter-assembly links internally??stuebinm2021-12-291-2/+15
| | | | lol
* collides isn't unknown on tilesstuebinm2021-12-291-1/+2
|
* maps, maps, and yet more mapsstuebinm2021-12-291-6/+6
| | | | | | | 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)
* why aren't boolean values typechecked???stuebinm2021-12-291-1/+1
|
* tiles can also have properties like tile layersstuebinm2021-12-291-47/+54
|
* disallow more things in urlsstuebinm2021-12-281-8/+1
|
* script links can't contain @stuebinm2021-12-281-1/+3
|
* open BBBs in new Tab so that they work now :/ tabascoeye2021-12-281-2/+2
| | | PLEASE review! I have no idea of haskell
* SECURITY: Fix path traversal in script verificationSerge Bazanski2021-12-271-2/+3
| | | | | | | | The following used to be allowed: scripts: https://static.rc3.world/scripts/../maps/81c8add623eea2704f20/e65b545e-342f-4be0-b369-c0eacff7b15d/re-blessed.mp3.js This is obviously not good, as it allows scripts from arbitrary maps.
* fix bbb urls a second time …stuebinm2021-12-271-5/+1
|
* fix bbb url resolutionstuebinm2021-12-271-1/+1
|
* type systems don't protect against off-by-onestuebinm2021-12-271-1/+1
|
* openWebsiteTriggerMessage can also be used for openTabstuebinm2021-12-261-2/+8
|
* Allow to copy sounds for custom JS with ObjectProperty `loadSound`Sven G. Brönstrup2021-12-261-1/+1
|
* separate blocking for separate contextsstuebinm2021-12-261-3/+5
| | | | | (audio links now have their own allowlist, which won't put things through the dereferrer)
* change lint msg for property suggestionsstuebinm2021-12-261-1/+1
|
* add lint if people set tilesetCopyright on tilesstuebinm2021-12-251-0/+2
|
* apply some hlint hintsstuebinm2021-12-251-3/+3
|
* the lobby is allowed to contain defunct linksstuebinm2021-12-251-12/+15
|
* hint if people set collides on tilesetsstuebinm2021-12-251-1/+2
|
* better lint messagestuebinm2021-12-251-1/+1
|
* persist, default aren't always booleansstuebinm2021-12-241-1/+0
|
* smaller changesstuebinm2021-12-241-1/+1
|
* allow openWebsiteAllowApi if website is on static.rc3.worldstuebinm2021-12-241-2/+12
|
* allow shared (not just shared-) as prefix for shared jitsisstuebinm2021-12-241-1/+1
| | | | this might make things less confusing for some people
* extra lint for people confused by badgesstuebinm2021-12-231-3/+4
| | | | tbh I'm confused by them as well
* some people define tilesets without images???stuebinm2021-12-231-1/+3
|
* openTab's semantics are the same as openWebsite'sstuebinm2021-12-231-9/+6
| | | | (it's not a modifier for openWebsite, as I had previously though)
* add suggestions for misspelled propertiesstuebinm2021-12-231-37/+77
| | | | | (suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
* disallow properties with different capitalisationsstuebinm2021-12-231-10/+7
| | | | | since apparently sometimes workadventure is case-insensitive, and sometimes it's not
* Fixed types of extended scripts propertiesSven G. Brönstrup2021-12-221-3/+8
|
* shorten Properties.hsstuebinm2021-12-221-152/+76
| | | | | | | down almost 100 lines of code! (and hopefully denotationally equivalent, except for the bits about where it was wrong before and didn't replace uris correctly)
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-20 20:34:31 +0000