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: Dec 23 2024 at 13:07 UTC