Dave Abrahams
Dave Abrahams
>Note that seeing remote parts as pointers makes sense if we think about Rust references, Sure, but Hylo's raison d'être is to present a mental model where you _don't_ think...
> But, thinking of remote types as type layout + some rights/duty suggests that the meaning of `Self` for `remote inout T` is just `T`. Yeah, that's how I think...
OK, we got the response and they say there's no point. Also I think since we are using [our own LLVM builds](https://github.com/hylo-lang/llvm-build) this PR is truly irrelevant.
You do realize you can compute the level from the index, right?
> Bit counting is not expensive in absolute terms, but doing that was still measurably slower than this version. Counting the leading zero bits is one instruction; then you subtract...
Oh that's a very interesting design; thanks for the detail!
Agreed. Let's just hold it open as a way to preserve that conclusion until the necessary PR is submitted.
We are now in a good position to try to debug this using the debug builds at https://github.com/hylo-lang/llvm-build.
This seems to happen a bit more reliably in CI when parallel testing is enabled, FWIW.
Here's another example: https://github.com/hylo-lang/hylo/actions/runs/6802288428/job/18495069171#step:4:3081 Parallel testing happens to be off in this configuration