git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1417 from david-christiansen/travis-list-packages
7fa538aDavid Christiansen
.travis.yml+1
compare with master
unifiedsplit
@@ -12,6 +12,7 @@ before_install:
12 - sudo apt-get install -qq expect
12 - sudo apt-get install -qq expect
13install:
13install:
14 - cabal install -f FFI -f LLVM --only-dependencies --enable-tests
14 - cabal install -f FFI -f LLVM --only-dependencies --enable-tests
15+ - ghc-pkg list
15before_script:
16before_script:
16 - cabal sdist
17 - cabal sdist
17 - cd ..
18 - cd ..
src/Idris/AbsSyntaxTree.hs+4
@@ -194,6 +194,10 @@ data IState = IState {
194 idris_callswho :: Maybe (M.Map Name [Name])
194 idris_callswho :: Maybe (M.Map Name [Name])
195 }
195 }
196
196
197+-- Required for parsers library, and therefore trifecta
198+instance Show IState where
199+ show = const "{internal state}"
200+
197data SizeChange = Smaller | Same | Bigger | Unknown
201data SizeChange = Smaller | Same | Bigger | Unknown
198 deriving (Show, Eq)
202 deriving (Show, Eq)
199{-!
203{-!