There are three reasons why I want this :-
1) It's missing from the language
2) To avoid using class hacks to make my code future proof.
3) To avoid instancing an object in order to test another's class.
BM *does* know (for example) mytype is a Type - however there is no way to cast this to anything - nor can you even check two types are equivalent - ie, you can't do :-
If mytype = yourtype etc...
The compiler complains that 'Type' and 'Type' are unrelated.
So we need everything I've asked for.
1) It's missing from the language
2) To avoid using class hacks to make my code future proof.
3) To avoid instancing an object in order to test another's class.
BM *does* know (for example) mytype is a Type - however there is no way to cast this to anything - nor can you even check two types are equivalent - ie, you can't do :-
If mytype = yourtype etc...
The compiler complains that 'Type' and 'Type' are unrelated.
So we need everything I've asked for.