Closed tpudlik closed 9 months ago
For the benefit of future searches: without the [0]
you get the cryptic error,
Error: got Provider for sequence index, want int
An equivalent fix has been submitted to https://github.com/bazelbuild/rules_platform.
These fixes are necessary for platform_data to work. Tested by building http://pwrev.dev/189772.
I was long confused by the need for the [0] index. It turns out this arises because "there's no easy distinction between patch and split transitions, and so all transitions require the index, even if it's not a split."