aboutsummaryrefslogtreecommitdiffstats
path: root/verifuzz.cabal
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-05-09 23:18:10 +0100
committerYann Herklotz <git@ymhg.org>2019-05-09 23:18:10 +0100
commit77702d5492ba19b6e3e0dda9e9460a8bb67a8e3f (patch)
tree1fb623c5b94aab30c7ab74d34942390827cb0a5d /verifuzz.cabal
parent76ce30d979686307babe8ebb6269072338f24910 (diff)
downloadverismith-77702d5492ba19b6e3e0dda9e9460a8bb67a8e3f.tar.gz
verismith-77702d5492ba19b6e3e0dda9e9460a8bb67a8e3f.zip
Add new pretty printer with indentation
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r--verifuzz.cabal10
1 files changed, 8 insertions, 2 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal
index d52dc7d..9a6b4d8 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -78,6 +78,7 @@ library
, transformers >=0.5 && <0.6
, transformers-base >=0.4.5 && <0.5
, tomland >=1.0 && <1.1
+ , prettyprinter >=1.2.1 && <1.3
, array >=0.5 && <0.6
, recursion-schemes >=5.1 && <5.2
, prettyprinter >= 1.2.1 && < 1.3
@@ -101,13 +102,15 @@ executable verifuzz
, optparse-applicative >=0.14 && <0.15
default-extensions: OverloadedStrings
-test-suite verifuzz-test
+test-suite test
default-language: Haskell2010
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Test.hs
other-modules: Unit
, Property
+ , Reduce
+ , Parser
build-depends: base >=4 && <5
, verifuzz
, fgl >=5.7 && <5.8
@@ -117,16 +120,19 @@ test-suite verifuzz-test
, hedgehog >=0.6 && <0.7
, hedgehog-fn >=0.6 && <0.7
, lens >=4.17 && <4.18
+ , shakespeare >=2 && <2.1
, text >=1.2 && <1.3
, parsec >= 3.1 && < 3.2
default-extensions: OverloadedStrings
-test-suite verifuzz-doctest
+test-suite doctest
default-language: Haskell2010
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Doctest.hs
+ other-modules: Build_doctests
build-depends: base >=4.7 && <5
, doctest >=0.16 && <0.17
+ , Glob >=0.9.3 && <0.11
, verifuzz
default-extensions: OverloadedStrings