improve pretty printing stuff

2020-07-15 12:07:04 +02:00 · 2020-07-15 12:07:04 +02:00 · 74f2e30955
commit 74f2e30955
parent 0c187fff29
2 changed files with 14 additions and 10 deletions
--- a/make-pages/make-pages.cabal
+++ b/make-pages/make-pages.cabal
@ -50,5 +50,6 @@ executable make-pages
    -Wall -threaded -rtsopts -with-rtsopts=-N
  if flag(pretty-verbose)
    build-depends:
+      pretty      ^>= 1.1.3.6,
      pretty-show ^>= 1.10
    cpp-options: -DPRETTY_VERBOSE