Support mixin application typedef as mixin in the VM (issues 9383, 12773).

Support mixin application typedef as mixin in the VM (issues 9383, 12773).
Disallow Object as mixin (issue 10952).
Detect illegal cycles in mixins.

R=hausner@google.com

Committed: https://code.google.com/p/dart/source/detail?r=27791

[hausner, 2013-09-24 00:15:35]

LGTM with comments.

https://codereview.chromium.org/24397002/diff/1/runtime/vm/class_finalizer.cc
File runtime/vm/class_finalizer.cc (right):

https://codereview.chromium.org/24397002/diff/1/runtime/vm/class_finalizer.cc...
runtime/vm/class_finalizer.cc:1479: // The super type of this mixin application
class must point to the
It might be helpful to have an example similar to the one you have in your
handwritten notes. It will illustrate the explanation below.

https://codereview.chromium.org/24397002/diff/1/runtime/vm/class_finalizer.cc...
runtime/vm/class_finalizer.cc:1579: if (mixin_class.IsNullClass()) {
As discussed offline, we probably have to check for other types that users are
not allowed to implement: Stirng, int, double, num, bool(?).

https://codereview.chromium.org/24397002/diff/1/runtime/vm/object.cc
File runtime/vm/object.cc (right):

https://codereview.chromium.org/24397002/diff/1/runtime/vm/object.cc#newcode1758
runtime/vm/object.cc:1758: AbstractType& sup_type = AbstractType::Handle();
const?

[regis, 2013-09-24 00:23:41]

Thanks!

https://codereview.chromium.org/24397002/diff/1/runtime/vm/class_finalizer.cc
File runtime/vm/class_finalizer.cc (right):

https://codereview.chromium.org/24397002/diff/1/runtime/vm/class_finalizer.cc...
runtime/vm/class_finalizer.cc:1479: // The super type of this mixin application
class must point to the
On 2013/09/24 00:15:35, hausner wrote:
> It might be helpful to have an example similar to the one you have in your
> handwritten notes. It will illustrate the explanation below.

I will add a description in the next cl.

https://codereview.chromium.org/24397002/diff/1/runtime/vm/class_finalizer.cc...
runtime/vm/class_finalizer.cc:1579: if (mixin_class.IsNullClass()) {
On 2013/09/24 00:15:35, hausner wrote:
> As discussed offline, we probably have to check for other types that users are
> not allowed to implement: Stirng, int, double, num, bool(?). 

Yes, good point. Let me address this in the next cl.

https://codereview.chromium.org/24397002/diff/1/runtime/vm/object.cc
File runtime/vm/object.cc (right):

https://codereview.chromium.org/24397002/diff/1/runtime/vm/object.cc#newcode1758
runtime/vm/object.cc:1758: AbstractType& sup_type = AbstractType::Handle();
On 2013/09/24 00:15:35, hausner wrote:
> const?

Done.

[regis, 2013-09-24 00:25:07]

Committed patchset #2 manually as r27791 (presubmit successful).