diff options
author | stuebinm | 2021-11-14 02:27:36 +0100 |
---|---|---|
committer | stuebinm | 2021-11-14 02:27:36 +0100 |
commit | 34e66b3ab80fb201f49998ab46bb7a35370012c0 (patch) | |
tree | 01a790f048eb0f3ed1197c6ba0edc9e665b94fa7 /walint.cabal | |
parent | 0b29a7e82a8c2dcf9ce4f2fba3ec07896fa72397 (diff) |
too much type level stuff to read a config file
This got kinda out of hand, but it can now (a) read a json config file
and (b) patch that with another json given on the command line to change
some of the options given in the file.
No, I probably didn't need to make the `patch` function sufficiently
general to work with arbitrary records, but it was kinda fun to do.
Diffstat (limited to '')
-rw-r--r-- | walint.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/walint.cabal b/walint.cabal index 069d8f3..4faf69c 100644 --- a/walint.cabal +++ b/walint.cabal @@ -35,6 +35,7 @@ library Util Types Paths + LintConfig build-depends: base, aeson, bytestring, @@ -59,6 +60,7 @@ executable walint aeson, aeson-pretty, bytestring, + mtl, -- bytestring-encoding, text hs-source-dirs: src |