Hi Dominique, It is a known problem---multirec does not work with GHC 6.12. You have to use 6.10.4. An alternative is not to use the Template Haskell stuff and provide explicit type signatures expanding the PF type family in the from/to functions... Cheers, Pedro On Tue, Jun 22, 2010 at 06:02, Dominique Devriese < dominique.devriese@cs.kuleuven.be> wrote:

Hi,

I'm having a compile issue with multirec TH. Upon investigation, it seems the same problem occurs in the compilation of one of the examples in the multirec distribution:

domi@arial:/tmp> wget -q

http://hackage.haskell.org/packages/archive/multirec/0.4.1/multirec-0.4.1.ta... domi@arial:/tmp> tar xzf multirec-0.4.1.tar.gz domi@arial:/tmp> cd multirec-0.4.1/examples domi@arial:/tmp/multirec-0.4.1/examples> ghc --make ASTTHUse.hs [1 of 2] Compiling AST ( AST.hs, AST.o ) [2 of 2] Compiling ASTTHUse ( ASTTHUse.hs, ASTTHUse.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.3.0.0 ... linking ... done. Loading package containers-0.3.0.0 ... linking ... done. Loading package pretty-1.0.1.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package multirec-0.4.1 ... linking ... done.

ASTTHUse.hs:31:2: GADT pattern match in non-rigid context for `Tag' Probable solution: add a type signature for `to' In the pattern: Tag L C K f0 In the pattern: L Tag L C K f0 In the definition of `to': to Expr L Tag L C K f0 = Const f0 domi@arial:/tmp/multirec-0.4.1/examples> ghc --version The Glorious Glasgow Haskell Compilation System, version 6.12.1

Can you please tell me if this is a known problem and if so, if there is a workaround?

Thanks in advance for your help! Dominique _______________________________________________ Generics mailing list Generics@haskell.org http://www.haskell.org/mailman/listinfo/generics