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
Christian,
Did you try the switch -fallow-overlapping-instances when compiling?
Yes, but it doesn't seem to make much difference.
Cheers,
Chris.
Cheers Christian
Christopher Brown
PhD Student, University of Kent.
http://www.cs.kent.ac.uk/people/rpg/cmb21/
[EMAIL PROTECTED]
Christopher Brown wrote:
Christian,
Did you try the switch -fallow-overlapping-instances when compiling?
Yes, but it doesn't seem to make much difference.
Maybe a couple of more library files have not been translated with the
above flag.
Hello Christopher,
the trick is that there is another approach to generics, largely based
on the Strafunski. it's named scrap your boilerplate! (SYB) and it's
implementation is included in ghc. you can find 3 SYB papers and it
seems better to just learn and use this approach to generic
