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:
NameTest.specs[8]==
$/Name/ShowBinding.gnrc:inst
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
|