[Bug 15763] New: Redundant requirement about an interface inheriting from itself

https://www.w3.org/Bugs/Public/show_bug.cgi?id=15763

           Summary: Redundant requirement about an interface inheriting
                    from itself
           Product: WebAppsWG
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: WebIDL
        AssignedTo: cam@mcc.id.au
        ReportedBy: Ms2ger@gmail.com
         QAContact: member-webapi-cvs@w3.org
                CC: mike@w3.org, public-script-coord@w3.org


<http://dev.w3.org/2006/webapi/WebIDL/#dfn-inherit>:

> That identifier MUST NOT be the same as the identifier of the inheriting
> interface.

<http://dev.w3.org/2006/webapi/WebIDL/#dfn-inherited-interfaces>:

> An interface MUST NOT be declared such that its inheritance hierarchy has
> a cycle. That is, an interface A cannot inherit from itself, nor can it
> inherit from another interface B that inherits from A, and so on. 

The former requirement seems redundant.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

Received on Saturday, 28 January 2012 17:51:48 UTC