For this year, my goal is to get through generics and traits. For me, this is where the biggest unknowns lie for the compiler. With the early completion date of completion of the Control Flow 1 milestone, not only will this help estimate timelines more accurately, but it has also enabled me to get a […]
GCC Rust Weekly Status Report 6 – Generics WIP
In this weeks status report, multiple pieces of work are in progress. You can find on the repo a branch for adding generics to Algebraic data types. To implement Generics, two significant pieces of work are needed: a ParamTy, a placeholder TyTy to reference of Generic Argument, the other is a Substitution Mapping that allows […]
GCC Rust Weekly Status Report 5 – Loop Expressions
Control flow 1 Milestone as been completed this means the front-end can now handle Block expressions, Loop and While Loop expressions, as well as method resolution. The remaining “For” loop construct has been left out for now. This requires Iterators that will need generics and traits to be implemented first. Since the milestone has been […]
GCC Rust – Weekly Status Report – 1st to 8th Feb 2021
The control flow one milestone is filling in the gaps in basic rust compilation such as impl blocks, method resolution, block expressions and loops. When the PR for block expressions was merged regressions in implicit returns were found via manual testing. The automated test suite failed to pick this up due to a bug in […]
GCC Rust Status Monthly Report #2 – Jan 2021
This month completes the Core Data Structures milestone this provides the base of the compiler pipeline moving forward on time with the target date. An application to https://nlnet.nl/assure/ has been for submitted for a PhD student to create a general Rust language testing framework to automate the compilation of test cases on any Rust compiler. […]
GCC Rust – Weekly Status Report – 18th to 25th Jan 2021
The completed activities here are the final building blocks to complete the remaining tasks for the first planned milestone. In order to support the size type rules on ArrayIndexExpressions and allow for code such as: The LiteralExpression of ‘1’ resolves to an IntegralInferenceVariable which when unified as part of the HM algorithm resolves to a […]
GCC Rust – Weekly Status Report – Jan 11th
This week was the announcement of the funding for GCC Rust. GCC Rust – How it can be achieved: https://www.embecosm.com/2021/01/12/gcc-rust-how-it-can-be-achieved/ Open Source Security, Inc. Announces Funding of GCC Front-End for Rust: https://opensrcsec.com/open_source_security_announces_rust_gcc_funding Dev wise this week was about completing building blocks for Tuples support. Completed Activities Implicit returns should enforce typing on stmts before final […]
GCC Rust – Weekly Status Report – Jan 4th
This was the first week back since the Christmas vacation, it was good to get back into Rust. The focus was making sure the name resolver was working correctly by creating an unused name pass which threw up some bugs which had to be resolved on the way. Implicit Returns was the other big focus […]
GCC Rust Status Monthly Report #1 – December 2020
Status Reporting for November 23rd 2020 to Jan 4 2021
GCC Rust organization
As of 30th November 2020 the GCC Rust front-end project on GitHub has been moved into its own organization on GitHub: https://github.com/Rust-GCC This project is gaining some traction and it was becoming clear it is a community effort and having it under my own GitHub profile it became clear it needed its own organization. I […]