git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2858 from LeifW/remove_zlib_constraint_on_new_ghc

Remove zlib constraint for GHC >= 7.10.3

commit75aa4df79fdf061acf96e3914d10d6a77793212f authorEdwin Brady <edwin.brady@gmail.com> dateMon 14 Dec 2015, 10:25 (11 years ago) parente6307e877b4ec8
1 file changed+4−1
compare with master
unifiedsplit
idris.cabal+4−1
idris.cabal+4−1
@@ -978,8 +978,11 @@ Library
978978 , vector < 0.12
979979 , vector-binary-instances < 0.3
980980 , zip-archive > 0.2.3.5 && < 0.2.4
981− , zlib < 0.6
982981 , safe
982+ -- zlib >= 0.6.1 is broken with GHC < 7.10.3
983+ if impl(ghc < 7.10.3)
984+ build-depends: zlib < 0.6.1
985+
983986 Extensions: MultiParamTypeClasses
984987 , DeriveFoldable
985988 , DeriveTraversable