Annotations

• The conventional approach is to attach all annotations everywhere, whether needed or not, or to have different program types for different annotations

• My approach is:

  • For source-position annotations, avoid them as described next
  • For expression annotations, use special extra expression nodes
  • For identifier annotations, extend symbol table entries, as usual