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 […]
GCC Rust Weekly Status Report 17
Overview Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress For Traits the first piece of work needed was to actually implement a trait using a trait impl block. This forms the basis to start enforcing obligations. I believe the milestones most difficult tickets hit early […]
GCC Rust Monthly Report #6 May 2021
May Overview Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. Milestone Progress Generics were completed this month, and since then all my time has gone into planning for Traits. While developing this compiler, it has become critical to find the appropriate ordering of features such that they […]