Merge pull request #2167 from david-christiansen/bump-pprint-bound
Bump bound for annotated-wl-pprint
commit53d5548e4ed2f20605fea5d830737a02ab1b21a5
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 22 Apr 2015, 09:30 (12 years ago)
parent47e8ba1f238715
idris.cabal+1−1
@@ -829,7 +829,7 @@ Library
829829 , Tools_idris
830830
831831 Build-depends: base >=4 && <5
832− , annotated-wl-pprint >= 0.5.3 && < 0.6
832+ , annotated-wl-pprint >= 0.5.3 && < 0.7
833833 , ansi-terminal < 0.7
834834 , ansi-wl-pprint < 0.7
835835 , base64-bytestring < 1.1
src/Idris/AbsSyntaxTree.hs−3
@@ -1773,9 +1773,6 @@ showDeclImp o (PInstance _ _ _ _ cs n _ t _ ds)
17731773showDeclImp _ _ = text "..."
17741774-- showDeclImp (PImport o) = "import " ++ o
17751775
1776−instance Show (Doc OutputAnnotation) where
1777− show = flip (displayS . renderCompact) ""
1778−
17791776getImps :: [PArg] -> [(Name, PTerm)]
17801777getImps [] = []
17811778getImps (PImp _ _ _ n tm : xs) = (n, tm) : getImps xs