[commit: ghc] type-nats: Remove unused Outputable instance. (e7f4de8)

Iavor Diatchki <[email protected]>
Newsgroups gmane.comp.lang.haskell.cvs.ghc
Message-ID <[email protected]>
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/e7f4de84dc3a2155b3870eab30a1b7a2499ed202

>---------------------------------------------------------------

commit e7f4de84dc3a2155b3870eab30a1b7a2499ed202
Author: Iavor S. Diatchki <[email protected]>
Date:   Sun Sep 16 15:23:16 2012 -0700

    Remove unused Outputable instance.

>---------------------------------------------------------------

 compiler/typecheck/TcTypeNats.hs |   12 ------------
 1 files changed, 0 insertions(+), 12 deletions(-)

diff --git a/compiler/typecheck/TcTypeNats.hs b/compiler/typecheck/TcTypeNats.hs
index 9bfcfea..8400484 100644
--- a/compiler/typecheck/TcTypeNats.hs
+++ b/compiler/typecheck/TcTypeNats.hs
@@ -456,18 +456,6 @@ one because we would just end up with another way to prove the same thing.
 
 -}
 
-{-
-instance Outputable ActiveRule where
-  ppr r =
-    braces (pprWithCommas ppr (doneTys r)) <+>
-    parens (pprWithCommas ppArg (todoArgs r)) <+> text "=>" <+>
-    ppEq (concl r)
-    where
-    ppArg (x,e) = ppr x <> colon <+> ppr e
-    ppEq (a,b)  = ppr a <+> text "~" <+> ppr b
--}
-
-
 
 -- Activate a rule for forward reasoning.
 activate :: (Bool,CoAxiomRule) -> ActiveRule
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.