CoreShow.hs

   1 {-# LANGUAGE StandaloneDeriving,FlexibleInstances, UndecidableInstances, OverlappingInstances #-}
   2 module CoreShow where
   3
   4 -- This module derives Show instances for CoreSyn types.
   5
   6 import qualified BasicTypes
   7
   8 import qualified CoreSyn
   9 import qualified TypeRep
  10 import qualified TyCon
  11
  12 import qualified HsTypes
  13 import qualified HsExpr
  14 import qualified HsBinds
  15 import qualified SrcLoc
  16 import qualified RdrName
  17
  18 import Outputable ( Outputable, OutputableBndr, showSDoc, ppr)
  19
  20
  21 -- Derive Show for core expressions and binders, so we can see the actual
  22 -- structure.
  23 deriving instance (Show b) => Show (CoreSyn.Expr b)
  24 deriving instance (Show b) => Show (CoreSyn.Bind b)
  25 deriving instance Show TypeRep.Type
  26 deriving instance (Show n, OutputableBndr n) => Show (HsTypes.HsType n)
  27 deriving instance (Show x) => Show (SrcLoc.Located x)
  28 deriving instance (Show x, OutputableBndr x) => Show (HsExpr.StmtLR x x)
  29 deriving instance (Show x, OutputableBndr x) => Show (HsExpr.HsExpr x)
  30 deriving instance Show (RdrName.RdrName)
  31 deriving instance (Show idL, Show idR, OutputableBndr idL, OutputableBndr idR) => Show (HsBinds.HsBindLR idL idR)
  32 deriving instance Show CoreSyn.Note
  33
  34
  35 -- Implement dummy shows, since deriving them will need loads of other shows
  36 -- as well.
  37 instance Show TypeRep.PredType where
  38   show t = "_PredType:(" ++ (showSDoc $ ppr t) ++ ")"
  39 instance Show TyCon.TyCon where
  40   show t = "_TyCon:(" ++ (showSDoc $ ppr t) ++ ")"
  41 instance Show BasicTypes.Boxity where
  42   show b = "_Boxity"
  43 instance Show HsTypes.HsExplicitForAll where
  44   show b = "_HsExplicitForAll"
  45 instance Show HsExpr.HsArrAppType where
  46   show b = "_HsArrAppType"
  47 instance Show (HsExpr.MatchGroup x) where
  48   show b = "_HsMatchGroup"
  49 instance Show (HsExpr.GroupByClause x) where
  50   show b = "_GroupByClause"
  51 instance Show (HsExpr.HsStmtContext x) where
  52   show b = "_HsStmtContext"
  53 instance Show (HsBinds.Prag) where
  54   show b = "_Prag"
  55 instance Show (HsExpr.GRHSs id) where
  56   show b = "_GRHSs"
  57
  58
  59 instance (Outputable x) => Show x where
  60   show x = "__" ++  (showSDoc $ ppr x) ++ "__"