1 {-# LANGUAGE StandaloneDeriving #-}
4 -- This module derives Show instances for CoreSyn types.
6 import qualified CoreSyn
7 import qualified TypeRep
9 import Outputable ( showSDoc, ppr)
12 -- Derive Show for core expressions and binders, so we can see the actual
14 deriving instance (Show b) => Show (CoreSyn.Expr b)
15 deriving instance (Show b) => Show (CoreSyn.Bind b)
17 -- Implement dummy shows for Note and Type, so we can at least use show on
19 instance Show CoreSyn.Note where
21 instance Show TypeRep.Type where
22 show t = "_type:(" ++ (showSDoc $ ppr t) ++ ")"