[heycam/webidl] is Step 5.5.1. of effective overload set construction really needed? (#140)

is Step 5.5.1. of effective overload set construction really needed?

This step is:
> Add to S the tuple <X, t0..n−2, o0..n−2>.
> Note: This leaves off the final, variadic argument.

The reason I believe it may not be needed is because I think the loop at step 5.7 will already take care of adding the version without the final variadic argument AFAICT:
> While i ≥ 0:
> - If argument i of X is not optional, then break this loop.
> - Otherwise, add to S the tuple <X, t0..i−1, o0..i−1>.
> - Set i to i−1.

'optional' in step 5.7 points to:
[](http://heycam.github.io/webidl/#dfn-optional-argument)

which says that the final variadic parameter is considered to be optional.

---
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/140

Received on Monday, 1 August 2016 22:43:24 UTC