Remove unused Show instance
This instance is part of annotated-wl-pprint 0.6.0. Because we don't
actually use it anywhere, we can maintain compatibility with 0.5.x and
0.6.0 by just deleting it.
commitf238715657fbfa493a6bc91f704bc020b9d2093e
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 22 Apr 2015, 07:21 (12 years ago)
parentc279315
src/Idris/AbsSyntaxTree.hs−3
@@ -1757,9 +1757,6 @@ showDeclImp o (PInstance _ _ _ _ cs n _ t _ ds)
17571757showDeclImp _ _ = text "..."
17581758-- showDeclImp (PImport o) = "import " ++ o
17591759
1760−instance Show (Doc OutputAnnotation) where
1761− show = flip (displayS . renderCompact) ""
1762−
17631760getImps :: [PArg] -> [(Name, PTerm)]
17641761getImps [] = []
17651762getImps (PImp _ _ _ n tm : xs) = (n, tm) : getImps xs