Stream: git-cranelift

Topic: cranelift / Issue #1407 wasm: rename `PassiveElemIndex` t...

GitHub (Feb 25 2020 at 18:23):

fitzgen opened Issue #1407:

Even though the index is only ever useful (and only ever reported to API consumers) for passive element indices, the index space is for _all_ elements. To be technically correct (the best kind of correct) we should rename PassiveElemIndex into ElemIndex.

Same for PassiveDataIndex --> DataIndex.

Helpful locations in the code base:

• Definition of PassiveElemIndex

• Definition of PassiveDataIndex

GitHub (Feb 25 2020 at 18:23):

fitzgen labeled Issue #1407:

Even though the index is only ever useful (and only ever reported to API consumers) for passive element indices, the index space is for _all_ elements. To be technically correct (the best kind of correct) we should rename PassiveElemIndex into ElemIndex.

Same for PassiveDataIndex --> DataIndex.

Helpful locations in the code base:

• Definition of PassiveElemIndex

• Definition of PassiveDataIndex

GitHub (Feb 28 2020 at 22:56):

fitzgen closed Issue #1407:

Even though the index is only ever useful (and only ever reported to API consumers) for passive element indices, the index space is for _all_ elements. To be technically correct (the best kind of correct) we should rename PassiveElemIndex into ElemIndex.

Same for PassiveDataIndex --> DataIndex.

Helpful locations in the code base:

• Definition of PassiveElemIndex

• Definition of PassiveDataIndex

Last updated: Dec 06 2025 at 06:05 UTC