dotnet
Define term "derived interface"
The C# spec defines the terms base class, derived class, and base interface, but not “derived interface.” However, it uses the term “derived interface” or “derived [type] member” a few times.
As I complete the spec for the V8 feature, “Default member implementations in interfaces,” I will add more uses of the term “derived interface.”
I will disagree in ~30min (sorry on a call)
On 6/12/2022, at 6:54 am, Bill Wagner @.***> wrote:
@BillWagner approved this pull request.
This LGTM @RexJaeschke https://github.com/RexJaeschke Let's :shiopit:
— Reply to this email directly, view it on GitHub https://github.com/dotnet/csharpstandard/pull/680#pullrequestreview-1204999520, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABSYVW3TUX4L3YHDLMVGW3TWLYT3RANCNFSM6AAAAAASUFYJZM. You are receiving this because you are subscribed to this thread.
This PR targets "draft-v7", but its milestone is set for V8. We should resolve that.
@RexJaeschke @jskeet
@BillWagner Initially, this was intended to change draft-v7, and I probably had that as the milestone. However, Nigel proposed we defer this until we deal with “Default member implementations in interfaces” in v8, so I changed the milestone to v8.
What are our options w.r.t GitHub? Can we change the base from v7 to v8, or do I need to close this PR and create one against v8 instead?