No description of "abstract" modifier in classDefinition

[scheglov]

7.1.1 speaks about "abstract" modifier for class (which is not implemented, but I'm implementing it now), but 7 does not describe it in classDefinition.

[gbracha]

Set owner to @gbracha.
Added Accepted label.

[gbracha]

Issue #872 has been merged into this issue.

[gbracha]

I've added it as an optional modifier on class declarations. It's effect is simply to help define what an abstract class is. The notion of abstract class itself effects the handling of certain type warnings (for missing interface members and for instance creation). I've moved that discussion from 7.1.1 to 7.

---

Added Done label.

[scheglov]

Still no excuse for instantiating abstract/incomplete versions of classes using factory constructors? I understand that warning here is nice to have. But no need to show this warning for each place of using factory constructor. If factory constructor itself tries to instantiate abstract/incomplete class, then we will show warning in factory constructor body.