[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