Merge pull request #3679 from jfdm/make-travis-pass-again
Make Idris work with GHC 7.6.3 and Tagsoup 0.14.1
commite3f4dcaa19ba813737080c3c0061f82cc346e09a
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateTue 7 Mar 2017, 12:03 (10 years ago)
parentf82a1c4d4d8a19
idris.cabal+5
@@ -310,6 +310,11 @@ Library
310310 else
311311 build-depends: safe >= 0.3.9
312312
313+ if impl(ghc < 7.8.4)
314+ build-depends: tagsoup < 0.14.1
315+ else
316+ build-depends: tagsoup >= 0.14.1
317+
313318 Extensions: MultiParamTypeClasses
314319 , DeriveFoldable
315320 , DeriveTraversable