git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2167 from david-christiansen/bump-pprint-bound
53d5548David Christiansen
idris.cabal+1−1
compare with master
unifiedsplit
@@ -829,7 +829,7 @@ Library
829 , Tools_idris
829 , Tools_idris
830
830
831 Build-depends: base >=4 && <5
831 Build-depends: base >=4 && <5
832− , annotated-wl-pprint >= 0.5.3 && < 0.6
832+ , annotated-wl-pprint >= 0.5.3 && < 0.7
833 , ansi-terminal < 0.7
833 , ansi-terminal < 0.7
834 , ansi-wl-pprint < 0.7
834 , ansi-wl-pprint < 0.7
835 , base64-bytestring < 1.1
835 , base64-bytestring < 1.1
src/Idris/AbsSyntaxTree.hs−3
@@ -1773,9 +1773,6 @@ showDeclImp o (PInstance _ _ _ _ cs n _ t _ ds)
1773showDeclImp _ _ = text "..."
1773showDeclImp _ _ = text "..."
1774-- showDeclImp (PImport o) = "import " ++ o
1774-- showDeclImp (PImport o) = "import " ++ o
1775
1775
1776−instance Show (Doc OutputAnnotation) where
1777− show = flip (displayS . renderCompact) ""
1778−
1779getImps :: [PArg] -> [(Name, PTerm)]
1776getImps :: [PArg] -> [(Name, PTerm)]
1780getImps [] = []
1777getImps [] = []
1781getImps (PImp _ _ _ n tm : xs) = (n, tm) : getImps xs
1778getImps (PImp _ _ _ n tm : xs) = (n, tm) : getImps xs