This adds a note field to atoms in the EL AST (see change to el/ast.ml).
The Latex renderer expects this to contain the name of the corresponding type and uses it to generate the macro name (when corresponding option is turned on).
The frontend patches this for all atoms in the source AST.
This means that AL-to-EL translation will have to set the type names accordingly. The Latex backend will report failure if it's given an unannotated atom.
Note that the actual macro name generated does not match the prose backend yet. I leave syncing the two to a later PR.
@jaehyun1ee FYI:
This means that AL-to-EL translation will have to set the type names accordingly. The Latex backend will report failure if it's given an unannotated atom.
Note that the actual macro name generated does not match the prose backend yet. I leave syncing the two to a later PR.