[commit: ghc] wip/ttypeable: Kill debugShow (e01ebe4)

git at git.haskell.org git at git.haskell.org
Sun Jan 29 20:19:44 UTC 2017


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/e01ebe48f765f87b7264211f7e8e8ef4c8393e9f/ghc

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

commit e01ebe48f765f87b7264211f7e8e8ef4c8393e9f
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Wed Mar 16 22:08:49 2016 +0100

    Kill debugShow


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

e01ebe48f765f87b7264211f7e8e8ef4c8393e9f
 libraries/base/Data/Typeable/Internal.hs | 19 -------------------
 libraries/base/Type/Reflection.hs        |  1 -
 2 files changed, 20 deletions(-)

diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index a2431ac..f671f0b 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -71,8 +71,6 @@ module Data.Typeable.Internal (
     mkTrCon, mkTrApp, mkTyCon, mkTyCon#,
     typeSymbolTypeRep, typeNatTypeRep,
 
-    debugShow,
-
     -- * Representations for primitive types
     trTYPE,
     trTYPE'PtrRepLifted,
@@ -322,23 +320,6 @@ typeRepXFingerprint (TypeRepX t) = typeRepFingerprint t
 
 ----------------- Showing TypeReps --------------------
 
-debugShow :: TypeRep a -> String
-debugShow rep
-  | Just HRefl <- rep `eqTypeRep` (typeRep :: TypeRep Type) = "Type"
-  | Just HRefl <- rep `eqTypeRep` (typeRep :: TypeRep RuntimeRep) = "RuntimeRep"
-  | (tc, _) <- splitApps rep
-  , isArrowTyCon tc = "Arrow"
-debugShow (TrApp _ f x) = "App ("++debugShow f++") ("++debugShow x++")"
-debugShow (TrTyCon _ x k)
-    | isArrowTyCon x = "Arrow"
-    | "->" <- show x = "Arrow #" ++ show ( tyConFingerprint x
-                                         , tyConFingerprint trArrowTyCon
-                                         , tyConFingerprint $ typeRepTyCon (typeRep :: TypeRep (->))
-                                         , typeRepTyCon (typeRep :: TypeRep (->))
-                                         )
-    | otherwise = show x++" :: "++debugShow k
-
--- | @since 2.01
 instance Show (TypeRep (a :: k)) where
   showsPrec _ rep
     | isListTyCon tc, [ty] <- tys =
diff --git a/libraries/base/Type/Reflection.hs b/libraries/base/Type/Reflection.hs
index 480e148..8057a2e 100644
--- a/libraries/base/Type/Reflection.hs
+++ b/libraries/base/Type/Reflection.hs
@@ -37,7 +37,6 @@ module Type.Reflection
     , I.tyConModule
     , I.tyConName
     , I.rnfTyCon
-    , I.debugShow
     ) where
 
 import qualified Data.Typeable.Internal as I



More information about the ghc-commits mailing list