On Thu, Feb 19, 2009 at 2:26 AM, Sean Leather
So, from what you say, your problem is with String and Bool?
If you want immediate satisfaction and you're only using functions based on Rep (i.e. not FRep, FRep2, etc.), then you can change your deriving code to this:
import Generics.EMGM.Common.Derive
$(declareConDescrs ''A) $(declareEP ''A) $(deriveRep ''A)
$(declareConDescrs ''B) $(declareEP ''B) $(deriveRep ''B)
$(declareConDescrs ''MyData) $(declareEP ''MyData) $(deriveRep ''MyData)
"deriveRep" doesn't care whether a type is primitive or not. It does the same thing for every type, notably use the "rep" method as type representation.
Otherwise, you'll have to wait on a fix. ;)
Sadly I was hoping to use the EMGM 'map' function on a more complex type. From what I can tell that uses the FRep instances, correct? Thanks for the quick response. Antoine