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

[Christian Aistleitner]

Hello,

> A short question concerning Trace.
>
> Can you explain the following:
> [ examples for omitting non-domains in name$Trace ]

Sad but true: name$Trace does not give you a representation for parameters  
not being domains.
Since I've been using Aldor, it has been that way.
I doubt that this can be fixed at all.

> In any case, is it
> *always* available, not only in code compiled with debugging info?

It is available in code without debugging info.

--
Kind regards,
Christian