Tutorial on Name Analysis
We want to test the name analysis of our compiler. For that purpose we instantiate a library module that provides computations which report the results of name analysis. It is instantiated in the same way as the basic name analysis module:
This macro is attached to a product file.
As a result the generated compiler will produce a line for every identifier occurrence like
m in line 23 bound in line 4 of scope in line 3