git.iko.soy/Idris-dev
on master help sign in
Remove unused Show instance
f238715David Raymond Christiansen
src/Idris/AbsSyntaxTree.hs−3
compare with master
unifiedsplit
@@ -1757,9 +1757,6 @@ showDeclImp o (PInstance _ _ _ _ cs n _ t _ ds)
1757showDeclImp _ _ = text "..."
1757showDeclImp _ _ = text "..."
1758-- showDeclImp (PImport o) = "import " ++ o
1758-- showDeclImp (PImport o) = "import " ++ o
1759
1759
1760−instance Show (Doc OutputAnnotation) where
1761− show = flip (displayS . renderCompact) ""
1762−
1763getImps :: [PArg] -> [(Name, PTerm)]
1760getImps :: [PArg] -> [(Name, PTerm)]
1764getImps [] = []
1761getImps [] = []
1765getImps (PImp _ _ _ n tm : xs) = (n, tm) : getImps xs
1762getImps (PImp _ _ _ n tm : xs) = (n, tm) : getImps xs