search

ceylon / ceylon-spec

DEPRECATED
Apache License 2.0
108 stars 34 forks source link

Loosen restriction on interfaces with enumerated types #40

Open gavinking opened 13 years ago

gavinking commented 13 years ago

As mentioned here:

https://github.com/ceylon/ceylon.language/issues/4#issuecomment-2725516

Currently the spec says, in 4.3.3:

If an interface has an of clause, then every subtype of the interface must be subtype of one of the enumerated cases.

But that's arguably too restrictive. Imagine if we changed this to say:

If an interface has an of clause, then every non-abstract class which is a subtype of the interface must be subtype of one of the enumerated cases.

gavinking commented 12 years ago

IIRC, the compiler already implements this, so I need to update the spec.

gavinking commented 12 years ago

Actually the compiler does not yet implement this, so I'm dropping the priority on this issue for now.