Browse files

Add support for generic traversals over the Core language

Signed-off-by: Thomas Schilling <nominolo@googlemail.com>
  • Loading branch information...
1 parent 2288716 commit fe7d38322df7d4d6d0a43afd2c96c483b3257d84 @batterseapower batterseapower committed with nominolo Apr 25, 2009
Showing with 33 additions and 1 deletion.
  1. +1 −1 ghc-syb.cabal
  2. +32 −0 src/GHC/SYB/Instances.hs
View
2 ghc-syb.cabal
@@ -1,5 +1,5 @@
name: ghc-syb
-version: 0.1.1.1
+version: 0.1.2
license: BSD3
license-file: LICENSE
author: Claus Reinke
View
32 src/GHC/SYB/Instances.hs
@@ -47,6 +47,10 @@ import BasicTypes
import Var
import ForeignCall
+import CoreSyn
+import Literal
+import CostCentre
+
import Data.Data
import NameSet
import TypeRep
@@ -235,6 +239,28 @@ deriving instance Data Type
deriving instance Typeable HsLit
deriving instance Data HsLit
+deriving instance Typeable Note
+deriving instance Data Note
+
+deriving instance Typeable AltCon
+deriving instance Data AltCon
+
+deriving instance Typeable Literal
+deriving instance Data Literal
+
+deriving instance Typeable CostCentre
+deriving instance Data CostCentre
+
+deriving instance Typeable FunctionOrData
+deriving instance Data FunctionOrData
+
+deriving instance Typeable IsDupdCC
+deriving instance Data IsDupdCC
+
+deriving instance Typeable IsCafCC
+deriving instance Data IsCafCC
+
+
-- Typeable1
deriving instance Typeable1 Located
@@ -379,6 +405,12 @@ deriving instance Data a => Data (Match a)
deriving instance Typeable1 RuleBndr
deriving instance Data a => Data (RuleBndr a)
+deriving instance Typeable1 Bind
+deriving instance Data a => Data (Bind a)
+
+deriving instance Typeable1 Expr
+deriving instance Data a => Data (Expr a)
+
-- Typeable2
deriving instance Typeable2 HsBindLR

0 comments on commit fe7d383

Please sign in to comment.