Stream: t-compiler

Topic: Design for a unified dataflow framework

ecstatic-morse (Oct 15 2019 at 05:39, on Zulip):

After the generic dataflow framework required for dataflow-based const validation was merged in #64566, one pending task was to merge this framework with the existing bitvector one (BitDenotation). I've written up a design document that describes a prototype of a unified dataflow framework that I've implemented.

ecstatic-morse (Oct 15 2019 at 05:40, on Zulip):

The design doc is still incomplete, but hopefully gives enough background info for people to understand the concerns here.

mark-i-m (Oct 15 2019 at 17:13, on Zulip):

It might make sense to try to schedule a design meeting for this?

ecstatic-morse (Oct 15 2019 at 17:51, on Zulip):

@mark-i-m How would one go about this?

ecstatic-morse (Oct 15 2019 at 18:16, on Zulip):

I think I'm supposed to open an issue on the rust-lang/compiler-team repo?

mark-i-m (Oct 16 2019 at 05:42, on Zulip):


mark-i-m (Oct 16 2019 at 05:42, on Zulip):

here us an example:

ecstatic-morse (Oct 16 2019 at 17:26, on Zulip):

Meeting proposed in rust-lang/compiler-team#202

ecstatic-morse (Oct 21 2019 at 20:41, on Zulip):

I've also posted a draft PR containing the prototype in #65672

Last update: Jul 03 2020 at 17:50UTC