[Aldor-l] Category theory, species and Combinat / progress

[Martin Rubey]

A short question concerning Trace.

Can you explain the following: 

-------------------------------------------------------------------------------

%9 >> stdout << name(Primitive(1))$Trace
Primitive()  () @ TextWriter

%10 >> stdout << name(UnionClass(Atom, Epsilon))$Trace
UnionClass(Atom,Epsilon)  () @ TextWriter


%11 >> stdout << name(UnionClass(Atom, Primitive(1)))$Trace
UnionClass(Atom,Primitive())  () @ TextWriter

-------------------------------------------------------------------------------

I.e., Primitive is printed without the argument, UnionClass is printed with the
arguments. (in fact, I'd need the latter).

Is "Trace" a "good" function, or is it a hack? (Not sure what "good" would
really mean in my context, sorry about the vagueness...) In any case, is it
*always* available, not only in code compiled with debugging info?

Martin