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 Monthly Report #8 July 2021
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress The month of July saw good progress getting through some of the bigger tickets. I was hoping to get my TypeBounds branch merged, which will allow us to make more useful generic code such as: I had […]
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 Monthly Report #7 June 2021
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress In the month of June, I’ve focused on working with Trait impl blocks, and enforcing their obligations. This includes associated types and optional traits which are still in progress but need some cleanup and testing. I believe […]
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 […]
GCC Rust Weekly Status Report 19
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This week I spent the week cleaning up code, as I was working on my branch for traits I found the HIR implementation was missing a lot of desugaring. This is an important part of the HIR […]
GCC Rust Weekly Status Report 18
Overview Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress This is a quiet week for GCC Rust, as I was on vacation for my 33rd Birthday. The implementation focus is now on the cleanup of the HIR structures, and for a way to represent the […]