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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
