search

tnelson / Forge

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

Fix: source location for identifier names #225

Closed tnelson closed 9 months ago

tnelson commented 9 months ago

Error messages involving names like sigs, fields, predicates, and functions should now use the correct source location.

Helper predicate/function names expand to Racket identifiers. By default, the syntax location points to the declaration, not the use site. This PR produces syntax that retains the location of the use site.

tnelson commented 9 months ago

This isn't correct yet, closing the PR to fix.