avanhatt edited PR #4090 from isle-inlining-flag
to main
:
This is a WIP PR for ISLE to add a flag to optionally _not_ expand inline constructors.
The full details are in #4089, but the main idea is that we'd like to keep the actual term around (rather than expanding it like a macro) so that we can have annotations on the term. Rather than expanding, we treat the term like an external extractor. This change adds a flag to the
TermEnv
and exposes a new public function (alongsidecompile
) calledenvs_for_analysis
that sets the flag to false. Draft for now to get feedback on approach and improve the unit testing.
avanhatt closed without merge PR #4090.
Last updated: Dec 23 2024 at 12:05 UTC