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.

50⟨domain instantiation support 50⟩≡   (46)
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, never used.

Uses name 198 and String 65.

7.2 Support for Tracing Domain Instantiations