Make Idris build with the latest hackage
This makes Idris work with parsers >= 0.12 and trifecta >=1.4.3.
commitf38b61102b0ec8f62005fdbd3d0f17e58eecf4f6
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 23 Jul 2014, 09:42 (12 years ago)
parentef19157
idris.cabal+1−1
@@ -653,7 +653,7 @@ Library
653653 , text
654654 , time >= 1.4
655655 , transformers
656− , trifecta >= 1.1 && <= 1.4.2
656+ , trifecta >= 1.1
657657 , unordered-containers
658658 , utf8-string
659659 , vector
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{-!