
22 Aug
2006
22 Aug
'06
3:32 a.m.
Hello Brian, Tuesday, August 22, 2006, 1:16:08 AM, you wrote:
The solution seems to be something like:
$(extend_data [d| data D = X {f::Int, g::String} |])
$(extend_instance [d| instance Obj D where ... |])
or just $(extend_data [d| data D = X {f::Int, g::String} instance Obj D where ... |]) because [d| ... |] can include multiple declarations -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com