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 Status Monthly Report #1 – December 2020
Status Reporting for November 23rd 2020 to Jan 4 2021
GCC Rust Zulip Channel
Recently I reached out to the lovely people over on https://zulip.com/ about creating a channel for GCC Rust and they said yes! This channel is designed for those wishing to discuss the compiler in more detail and ask questions in an informal way. Please feel free to join: https://gcc-rust.zulipchat.com/.
GCC Rust status
As of today there is only one outstanding ticket for us to reach the goal of basic compilation of rust. The compiler currently the following building blocks in place: Lexer Parser Static Analysis Pass structure Abstracted GCC backend to GIMPLE reused from GCCGO which will need amendments over time The first milestone is compile primitives: […]
GCC Rust Update #1
I’ve been a fan of Rust as a modern system level programming language since around 2014. C/C++ is ubiquitous in this arena for good reason but are fairly old comparatively to the landscape now. You may or may not be aware I started a GCC front-end for Rust back in 2014/2015, I was able to […]