[Haskell-cafe] Re: Strafunski

[Christian Maeder]

Christopher Brown wrote:
> Hi,
> 
> I am trying to use Strafunski with GHC 6.5 and was wondering if  someone 
> could help me. I have all the instances for Term and Typeable  defined 
> for my data types, but when I try to compile with GHC 6.5 I  get lots of 
> "overlapping instance" errors. In particular, it seems  the instances I 
> am using (generated by DrIFT) are clashing with the  ones in 
> Data.Typeable. Is there a way I can fix this?

Did you try the switch -fallow-overlapping-instances when compiling?

Cheers Christian