git.iko.soy/Idris-dev
on master help sign in
Make Idris build with the latest hackage
f38b611David Raymond Christiansen
idris.cabal+1−1
compare with master
unifiedsplit
@@ -653,7 +653,7 @@ Library
653 , text
653 , text
654 , time >= 1.4
654 , time >= 1.4
655 , transformers
655 , transformers
656− , trifecta >= 1.1 && <= 1.4.2
656+ , trifecta >= 1.1
657 , unordered-containers
657 , unordered-containers
658 , utf8-string
658 , utf8-string
659 , vector
659 , vector
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{-!