Merge pull request #1417 from david-christiansen/travis-list-packages
List packages in Travis and fix compilation against latest Hackage
commit7fa538afad00ffb5e18ebb867375f577444ab196
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 23 Jul 2014, 10:43 (12 years ago)
parent196bc76f38b611
.travis.yml+1
@@ -12,6 +12,7 @@ before_install:
1212 - sudo apt-get install -qq expect
1313install:
1414 - cabal install -f FFI -f LLVM --only-dependencies --enable-tests
15+ - ghc-pkg list
1516before_script:
1617 - cabal sdist
1718 - cd ..
src/Idris/AbsSyntaxTree.hs+4
@@ -194,6 +194,10 @@ data IState = IState {
194194 idris_callswho :: Maybe (M.Map Name [Name])
195195 }
196196
197+-- Required for parsers library, and therefore trifecta
198+instance Show IState where
199+ show = const "{internal state}"
200+
197201data SizeChange = Smaller | Same | Bigger | Unknown
198202 deriving (Show, Eq)
199203{-!