diff options
author | stuebinm | 2021-12-17 17:38:33 +0100 |
---|---|---|
committer | stuebinm | 2021-12-17 17:38:33 +0100 |
commit | 1c90b43172d14a8132711f8ec252de7b936ea6e1 (patch) | |
tree | cc7dfd6fb55e3785f5ada1d9ffc592b209ce7a61 /walint.cabal | |
parent | 38f2d4dc71ea616aae44b6c8ff9653f556f0623f (diff) |
some simple graph algorithms
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.
Diffstat (limited to '')
-rw-r--r-- | walint.cabal | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/walint.cabal b/walint.cabal index b1c06ca..98ba654 100644 --- a/walint.cabal +++ b/walint.cabal @@ -40,6 +40,7 @@ library LintConfig Badges LayerData + Dirgraph build-depends: base, aeson, bytestring, @@ -52,7 +53,8 @@ library filepath, getopt-generics, regex-tdfa, - extra + extra, + witherable -- TODO: move more stuff into lib, these dependencies are silly executable walint |