Patrick Bahr avatar Patrick Bahr committed f4d9e2f

spelled out the lifting of the 'Desugar' type class over sums instead of using 'liftSum' to avoid bug in TemplateHaskell in GHC 7.6

Comments (0)

Files changed (2)

 Name:			compdata
-Version:		0.6.1
 Synopsis:            	Compositional Data Types


 module Data.Comp.Desugar where
 import Data.Comp
-import Data.Comp.Derive
+import Data.Comp.Ops
 -- |The desugaring term homomorphism.
 class (Functor f, Functor g) => Desugar f g where
     desugHom' :: Alg f (Context g a)
     desugHom' x = appCxt (desugHom x)
-$(derive [liftSum] [''Desugar])
+instance (Desugar f h, Desugar g h) => Desugar (f :+: g) h where
+    desugHom (Inl x) = desugHom x
+    desugHom (Inr x) = desugHom x
 -- |Desugar a term.
 desugar :: Desugar f g => Term f -> Term g
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.