Stream: git-wasmtime

Topic: wasmtime / PR #4090 ISLE: Add a flag to not expand intera...

view this post on Zulip Wasmtime GitHub notifications bot (Apr 29 2022 at 20:58):

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 (alongside compile) called envs_for_analysis that sets the flag to false. Draft for now to get feedback on approach and improve the unit testing.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 01 2022 at 15:37):

avanhatt closed without merge PR #4090.

Last updated: Nov 22 2024 at 16:03 UTC