Stream: project-ffi-unwind

Topic: rfc feedback


view this post on Zulip nikomatsakis (Oct 30 2019 at 19:07):

@Kyle Strand I answered your question re: unspecified behavior here

view this post on Zulip BatmanAoD (Kyle Strand) (Nov 10 2019 at 20:52):

@nikomatsakis I'm sorry, I never got around to revisiting the scope discussion in the RFC PR, and now it's about to be merged. Should we stop the merge to revisit the scope verbiage, even though it wasn't formally cited as a blocking concern, or is it okay that the feedbacks in the PR thread didn't really make it in to the RFC text?

view this post on Zulip nikomatsakis (Nov 11 2019 at 21:03):

I think we can just merge the text in

view this post on Zulip nikomatsakis (Nov 11 2019 at 21:04):

probably a good idea to do so

view this post on Zulip BatmanAoD (Kyle Strand) (Nov 11 2019 at 23:44):

Oh, I didn't realize RFC merges are manual; when I sent that message I thought we would be racing against the clock if we wanted to make changes.

view this post on Zulip BatmanAoD (Kyle Strand) (Nov 11 2019 at 23:45):

I don't think we have verbiage ready-to-go, though, do we?

view this post on Zulip nikomatsakis (Nov 12 2019 at 15:06):

I forget how "ready to go" my wording was

view this post on Zulip BatmanAoD (Kyle Strand) (Nov 12 2019 at 15:26):

Heh

view this post on Zulip BatmanAoD (Kyle Strand) (Nov 12 2019 at 15:27):

Let me see how today goes at work; I am hoping to have more time to engage with this project again soon.


Last updated: Jan 26 2022 at 08:21 UTC