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; ... }
|