Stream: git-wasmtime

Topic: wasmtime / PR #4151 ISLE: provide locations in errors in ...


view this post on Zulip Wasmtime GitHub notifications bot (May 12 2022 at 19:11):

cfallin opened PR #4151 from isle-errors-lines to main:

In #4143 we made ISLE compilation part of the normal build flow again,
to avoid the issues with the checked-in source. To make this acceptably
fast, we cut down dependencies of the ISLE compiler, so the "fancy"
error printing is now optional. When not included, it just prints error
messages to stderr in a list. However, this did not include file
locations. It might be nice to have this without enabling the "fancy
printing" and waiting for that to build.

Fortunately most of the plumbing for this was already present (we had it
at one point before switching to miette). This PR adds back locations to
the basic error output. It now looks like:

  Error building ISLE files: ISLE errors:

  src/isa/aarch64/inst.isle:1:1: parse error: Unexpected token Symbol("asdf")

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2022 at 19:11):

cfallin requested fitzgen for a review on PR #4151.

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2022 at 19:13):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2022 at 19:55):

cfallin merged PR #4151.


Last updated: Oct 23 2024 at 20:03 UTC