Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress Last week’s report discussed how I had been blocked on my work into closures as we are missing support for Rust’s lang-item system, which we knew we needed for the goal test case. This week, I have […]
GCC Rust Weekly Status Report 30
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress Since Wednesday last week, I have been back from vacation, but we have still made significant progress in the current milestone thanks to the community working so hard. The pattern matching milestone includes cleaning up our code […]
GCC Rust Weekly Status Report 29
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This week my focus was on the linux plumbers conference so I was not able to complete any tickets for the current milestone, though I have made some good progress in investigating closures in C++ and GO […]
GCC Rust Weekly Status Report 28
Milestone Progress Now that we have pushed through the core of Trait Resolution, we need to move on to more control flow work, including pattern matching, closures and finishing off operator overloading. We also have a goal test case in mind for the end of this milestone https://github.com/BLAKE3-team/BLAKE3/blob/master/reference_impl/reference_impl.rs which with some work, we can remove […]
GCC Rust Weekly Status Report 25
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress Traits have progressed well since the last report; associated types took some experimentation to implement the Placeholder Type correctly such that we resolve the relative type correctly. Now that we have a solid base of associated types […]
GCC Rust Weekly Status Report 24
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress We are getting closer to the end of this milestone and last week saw my long living branch finally getting merged. This branch has added the relevant code to support type bounds, which is the last building […]
GCC Rust Weekly Status Report 23
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This week I made good progress in adding Type Coercion code for the first coercion site of assignment expressions, this allows us to implement RawPointers and unsafe. The other major piece of work has been TypeCasts which […]
GCC Rust Weekly Status Report 22
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress Last week saw more building blocks being merged to enforce a trait’s constraints onto an impl block. What bjorn3 pointed out, which is pretty neat, is that a super trait is syntatic sugar for a Self TypeParameter […]
GCC Rust Weekly Status Report 21
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This week my focus has been on the trait resolver; this will be the building block for the traits milestone. We can use it when we have a TraitImplBlock to enforce the impl conforms to the trait […]
GCC Rust Weekly Status Report 20
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This week, I made good progress with merging work that I was working on via git branches. To get through this milestone, I believe that Traits break down into three phases: Trait impl blocks and enforcing the […]