tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 9 forks source link

Sig and Field AST nodes will now properly record the source location of their use #236

Closed tnelson closed 9 months ago

tnelson commented 9 months ago

References to sigs and fields expand to Racket identifiers, and those identifiers are bound by the declaration site. This means that every reference to a sig or field in a Forge formula would, previously, have only their declaration site for source location.

This PR enriches expanded sig/field references with source location information for the use site.