f0b4bdc · project-m36 · git.iko.soy

git.iko.soy/project-m36

reduce useless gassiness in ConcreteTypeRep Show instance

commitf0b4bdc10352c230a0b6acbd6a8e307a6f817508 authorAgentM <agentm@themactionfaction.com> dateSun 20 Mar 2016, 14:26 (11 years ago) parent576e02b

2 files changed+6−3

unifiedsplit

ProjectM36/Base.hs+1−1

@@ -134,7 +134,7 @@ data AtomType = AtomType ConcreteTypeRep |

134134 ConstructedAtomType TypeConstructorName TypeVarMap |

135135 AnyAtomType

136136 --wildcard used in Atom Functions and tuples for data constructors which don't provide all arguments to the type constructor

137− deriving (Eq,NFData,Generic,Binary,Show)

137+ deriving (Eq,NFData,Generic,Binary, Show)

138138

139139type TypeVarMap = M.Map TypeVarName AtomType

140140

ProjectM36/ConcreteTypeRep.hs+5−2

@@ -6,9 +6,12 @@ import Data.Typeable

66import Data.Typeable.Internal

77import Control.DeepSeq (NFData)

9−newtype ConcreteTypeRep = CTR { unCTR :: TypeRep } deriving (Eq, Typeable, Show, NFData)

9+newtype ConcreteTypeRep = CTR { unCTR :: TypeRep } deriving (Eq, Typeable, NFData)

1010

11−newtype SerialRep = SR (TyConRep, [SerialRep]) deriving(Binary)

11+newtype SerialRep = SR (TyConRep, [SerialRep]) deriving (Binary)

12+

13+instance Show ConcreteTypeRep where

14+ show (CTR tRep) = show tRep

1215

1316type TyConRep = (String, String, String)

1417toTyConRep :: TyCon -> TyConRep