6.2 Support for Tracing Domain Instantiations

The macro TRACEINSTANTIATION should be put right after the open brace in an add clause. Thus the name of the domain gets printed if it is instantiated and if the code has been compiled with the -dTRACE option. The code should look as follows.

Dom: with { ... } == add { TRACEINSTANTIATION; ... }

36domain instantiation support 36  (33)
macro {
        TRACEINSTANTIATION == {
#if TRACE
                -- We do not import String on a global level.
                local traceDomainInstantiation(): () == {
                        import from String, Character, TextWriter;
                        stderr << "Domain Instatiation: "
                               << name(%)$Trace << newline;
                }
                traceDomainInstantiation();
#endif
        }
}

Defines:
TRACEINSTANTIATION, used in chunk 84.