W3C home > Mailing lists > Public > public-html-media@w3.org > May 2018

[media-source] URL.createObjectURL IDL is wrong (no overload across partial interfaces)

From: Kagami Sascha Rosylight via GitHub <sysbot+gh@w3.org>
Date: Thu, 03 May 2018 12:59:28 +0000
To: public-html-media@w3.org
Message-ID: <issues.opened-319910004-1525352367-sysbot+gh@w3.org>
saschanaz has just created a new issue for https://github.com/w3c/media-source:

== URL.createObjectURL IDL is wrong (no overload across partial interfaces) ==
https://heycam.github.io/webidl/#idl-overloading

>Operations must not be overloaded across interface, partial interface, interface mixin, and partial interface mixin definitions.
>
>For example, the overloads for both f and g are disallowed:
>
>```webidl
>[Exposed=Window]
>interface A {
>  void f();
>};
>
>partial interface A {
>  void f(double x);
>  void g();
>};
>
>partial interface A {
>  void g(DOMString x);
>};
>```

Please view or discuss this issue at https://github.com/w3c/media-source/issues/211 using your GitHub account
Received on Thursday, 3 May 2018 12:59:38 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 3 May 2018 12:59:38 UTC