Transpiler allows redefining class of type Object #10
Description
I believe this isn't permitted with an actual Cool compiler, but seems like the following snippet works fine:
Class Object inherits Object {
a : Int;
};
{{ message }}
I believe this isn't permitted with an actual Cool compiler, but seems like the following snippet works fine:
Class Object inherits Object {
a : Int;
};