summaryrefslogtreecommitdiff
path: root/lib/Paths.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* handle all maps in entire repositoriesstuebinm2021-09-231-6/+10
| | | | (+ checking that paths don't run outside of respositories)
* very naïve handling of directoriesstuebinm2021-09-231-4/+13
|
* typechecking for path depths!stuebinm2021-09-201-0/+31
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.