Stream: git-wasmtime

Topic: wasmtime / PR #4180 Remove unused `SourceLoc` in many `Ma...

Wasmtime GitHub notifications bot (May 23 2022 at 13:58):

bnjbvr opened PR #4180 from remove-unused-srcloc to main:

These fields aren't used anywhere in the code base, and I think that a consumer could rely on MachSrcLoc instead. I thought it would be needed by the Spidermonkey backend, but it's a bit outdated (using a CL version predating the Mach stuff). I've received confirmation from the Spidermonkey folks that they're fine investigating the work necessary to adjust to these changes, so opening this PR as an incremental step towards #4155.

Wasmtime GitHub notifications bot (May 23 2022 at 16:27):

cfallin submitted PR review.

Wasmtime GitHub notifications bot (May 23 2022 at 16:27):

cfallin merged PR #4180.

Last updated: Nov 22 2024 at 16:03 UTC