is(this : myClass)

[Patrick]

>
> But with the current compiler you would never write
>
> is(typeOf(myC) : typeof(c))
>
> if in your mind "c" is actually a class "C" because if that is 
> in your mind you would just write
>
> is(typeof(myC) : c)
>
> which would get you the error. You only need typeof(variable) 
> to get to the type, there is no point in doing typeof(type), 
> you just write type and C is a type. Right?

But what value is evaluating a class type to a primitive type? It 
will never be true? There has to be a reasonable chance for the 
evaulation to be true for the 'is' operator to provide value. The 
compiler should reject this 'is' statement or at minimum issue a 
warning of incompatible types. This is nonsense creep of unusable 
code (being able to write code that has no meaning and value).

This is equivalent to writing code like the following. It is just 
more obfuscated:

if(false)
{
  ...
}
else
{
  ...
}

Patrick