[Haskell-cafe] Re: Combining Wouter's expressions with extensible records

[Ron Alford]

Ok, I'm closer, but I'm running into a problem with typeOf and lists,
of all things:
*WouterTest> typeOf (eVar "v" :: TermExpr)
Planning.Wouter.Expr (Planning.Wouter.:+: WouterTest.Const WouterTest.Var)
*WouterTest> typeOf ([eVar "v"] :: [TermExpr])
*** Exception: Prelude.undefined

I'm pretty sure this is the culprit for getName:
*WouterTest> getName testNamed
"*** Exception: Prelude.undefined

Any hints?

Also, anyone have hints for how to get automatic derivation of Data (Expr f) ?
I don't want to proliferate the last lines:
deriving instance Data (Expr (And :+: Atomic (Expr (Const :+: Var))))
deriving instance Data (Expr (Const :+: Var))


-Ron Alford
-------------- next part --------------
A non-text attachment was scrubbed...
Name: WouterTest.hs
Type: application/octet-stream
Size: 5358 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080710/68ff7974/WouterTest.obj