Stream: git-wasmtime

Topic: wasmtime / issue #6132 Rename Cranelift instructions for ...

Wasmtime GitHub notifications bot (Apr 01 2023 at 06:11):

playXE opened issue #6132:

Thanks for filing a feature request! Please fill out the TODOs below.

Feature

Rename trap and debugtrap to spanish_inquisition

Benefit

Nobody expects the Spanish Inquisition so this makes sense

Implementation

Just rename fn definitions.

Alternatives

No alternatives

Wasmtime GitHub notifications bot (Apr 01 2023 at 06:11):

playXE edited issue #6132:

Feature

Rename trap and debugtrap to spanish_inquisition

Benefit

Nobody expects the Spanish Inquisition so this makes sense

Implementation

Just rename fn definitions.

Alternatives

No alternatives

Wasmtime GitHub notifications bot (Apr 01 2023 at 07:39):

cfallin closed issue #6132:

Feature

Rename trap and debugtrap to spanish_inquisition

Benefit

Nobody expects the Spanish Inquisition so this makes sense

Implementation

Just rename fn definitions.

Alternatives

No alternatives

Wasmtime GitHub notifications bot (Apr 01 2023 at 07:40):

cfallin commented on issue #6132:

Err, that should have been "closed as not planned", sorry...

Wasmtime GitHub notifications bot (Apr 01 2023 at 07:55):

gimbles commented on issue #6132:

You can reclose the issue as not planned

Wasmtime GitHub notifications bot (Apr 01 2023 at 08:33):

cfallin reopened issue #6132:

Feature

Rename trap and debugtrap to spanish_inquisition

Benefit

Nobody expects the Spanish Inquisition so this makes sense

Implementation

Just rename fn definitions.

Alternatives

No alternatives

Wasmtime GitHub notifications bot (Apr 01 2023 at 08:33):

cfallin closed issue #6132:

Feature

Rename trap and debugtrap to spanish_inquisition

Benefit

Nobody expects the Spanish Inquisition so this makes sense

Implementation

Just rename fn definitions.

Alternatives

No alternatives

Last updated: Dec 13 2025 at 19:03 UTC