Stream: git-cranelift

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

view this post on Zulip 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:

view this post on Zulip 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:

view this post on Zulip 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:

Last updated: Nov 22 2024 at 16:03 UTC