StrategyLib - need help

[Dmitry Astapov]

Evening, Ralf. 

Ralf Laemmel <Ralf.Laemmel@cwi.nl> 20:27 24/7/2003 wrote:

 RL> a) Add a class constraint for Show to the Term class.
 RL>    (Would that work? It's a bit invasive anyway.)
Yes, that a bit invasive to say at least. With equal "ease" I can hack
DrIFT to produce instances of Show the way I want them.

 RL> b) Alternatively, imoort TermRep and use explode and then show on
 RL>    TermRep. (This show maybe does not look so nice,
 RL>     but this should be good enough for debugging.)
I dont quite follow you here. If I (show . explode) the topmost Term, I got
just the name of the type of that term. If I try to build a traversal which
"explode"-s everything on the way, I got the same error as before (which is
expected, I believe). 

 RL> c) Be more specific about what terms to print,
 RL>    say have type-specific cases for types of terms of interest. (This
 RL>    would be reasonable if you only care about a few types,
 RL>     or there are even just a few types anyway.)
Thing is that there is a lot of types and I'd like to print all of them.


-- 
Dmitry Astapov //ADEpt
GPG KeyID/fprint: F5D7639D/CA36 E6C4 815D 434D 0498  2B08 7867 4860 F5D7 639D